diff options
Diffstat (limited to 'security/cops/files/patch-makefile')
| -rw-r--r-- | security/cops/files/patch-makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/security/cops/files/patch-makefile b/security/cops/files/patch-makefile new file mode 100644 index 000000000000..7e02909ab1e8 --- /dev/null +++ b/security/cops/files/patch-makefile @@ -0,0 +1,11 @@ +--- makefile.orig Tue Mar 9 02:19:18 1993 ++++ makefile Tue Jul 11 21:44:29 2000 +@@ -23,7 +23,7 @@ + # C2 = -DC2 + + # +-CFLAGS = -O $(C2) ++CFLAGS+ = $(C2) + # sequents need "-lseq" as well... uncomment this if you're running on one: + # SEQFLAGS = -lseq + |