diff options
Diffstat (limited to 'lang/xsb/files/patch-ae')
| -rw-r--r-- | lang/xsb/files/patch-ae | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/lang/xsb/files/patch-ae b/lang/xsb/files/patch-ae deleted file mode 100644 index c1184532e30b..000000000000 --- a/lang/xsb/files/patch-ae +++ /dev/null @@ -1,23 +0,0 @@ ---- ../Makefile.orig Sat Apr 27 11:28:50 2002 -+++ ../Makefile Sat Apr 27 11:28:39 2002 -@@ -38,16 +38,16 @@ - - syslib:: - @echo "" -- cd syslib; make -+ cd syslib; gmake - - lib:: - @echo "" -- cd lib; make -+ cd lib; gmake - - cmplib:: - @echo "" -- cd cmplib; make -+ cd cmplib; gmake - - packages:: - @echo "" -- cd packages; make -+ cd packages; gmake |