blob: 12de1f60aef160983b0db15aafe1c9af841a3077 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- XSB.orig/lib/foreign.P 2007-08-23 07:11:06.000000000 +1200
+++ XSB/lib/foreign.P 2007-11-25 16:39:33.000000000 +1300
@@ -127,7 +127,7 @@
%% If not debugging, the strip the symbol table from the result
( str_sub(' -g', CC_Opts)
-> SymbolTableFlag = ' '
- ; SymbolTableFlag = ' -s'
+ ; SymbolTableFlag = ' '
),
( var(CompComm)
-> ( str_sub('solaris', Configuration)
|