diff options
Diffstat (limited to 'hints/isc_3_2_3.sh')
-rw-r--r-- | hints/isc_3_2_3.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/hints/isc_3_2_3.sh b/hints/isc_3_2_3.sh index cad7a5bfb0..5b99353d1c 100644 --- a/hints/isc_3_2_3.sh +++ b/hints/isc_3_2_3.sh @@ -1,2 +1,3 @@ -set `echo $libswanted | sed -e 's/ PW / /' -e 's/ x / /'` +set `echo "$libswanted" | sed -e 's/ PW / /' -e 's/ x / /'` libswanted="$*" +ccflags="$ccflags -DCRIPPLED_CC -DDEBUGGING" |