5870dd7033
Deputy is a C compiler that is capable of preventing common C programming errors, including out-of-bounds memory accesses as well as many other common type-safety errors.
11 lines
342 B
Text
11 lines
342 B
Text
--- bin/deputy.orig Mon Mar 19 10:20:05 2007
|
|
+++ bin/deputy Mon Mar 19 10:20:26 2007
|
|
@@ -52,7 +52,7 @@
|
|
|
|
# Now force the libc patch.
|
|
if (! grep { $_ eq "--linux" } @ARGV) {
|
|
- push @ARGV, "--patch=$::deputyhome/include/libc_patch.i";
|
|
+ push @ARGV, "--patch=$::deputyhome/include/deputy/libc_patch.i";
|
|
}
|
|
|
|
Deputy->new(@ARGV)->doit();
|