dev-lang/xsb/files/xsb-3.0.1-slx.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

--- XSB.orig/packages/slx/Makefile	2002-03-15 21:09:39.000000000 +1300
+++ XSB/packages/slx/Makefile	2007-01-23 20:38:53.000000000 +1300
@@ -27,7 +27,7 @@
 
 ALL = 	slxshell${OBJEXT}
 
-Option = [optimize]
+Option = [optimize,quit_on_error]
 
 #-----------------------------------------------------------------------#
 #
@@ -39,7 +39,7 @@
 #-----------------------------------------------------------------------#
 
 # continue to the next when one error occurs
-.IGNORE:
+#.IGNORE:
 
 # suffix rules
 .SUFFIXES: .P ${OBJEXT} .H