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