diff options
Diffstat (limited to 'devel/spin/files/patch-ab')
| -rw-r--r-- | devel/spin/files/patch-ab | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/devel/spin/files/patch-ab b/devel/spin/files/patch-ab index a50e73daae58..0a9eb5915da3 100644 --- a/devel/spin/files/patch-ab +++ b/devel/spin/files/patch-ab @@ -1,12 +1,12 @@ ---- makefile.orig Wed Feb 20 13:40:54 2002 -+++ makefile Sun Apr 7 17:44:50 2002 +--- makefile.orig Sun Sep 29 08:47:34 2002 ++++ makefile Sun Oct 6 18:24:09 2002 @@ -11,8 +11,9 @@ # The book is available frm www.amazon.com - # CC=cc -g # or any other ansi compatible c compiler --CC=cc -g -DNXT # if you need the X operator in LTL + # CC=cc -g # or any other ansi compatible c compiler +-CC=cc -g -DNXT # enables the X operator in LTL -CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include -+# CC=cc -g -DNXT # if you need the X operator in LTL ++# CC=cc -g -DNXT # enables the X operator in LTL +# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include +CFLAGS += -DNXT |