diff options
Diffstat (limited to 'hints/sgi.sh')
-rw-r--r-- | hints/sgi.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/hints/sgi.sh b/hints/sgi.sh deleted file mode 100644 index 4252aaf148..0000000000 --- a/hints/sgi.sh +++ /dev/null @@ -1,12 +0,0 @@ -optimize='-O1' -d_mymalloc=define -mallocsrc='malloc.c' -mallocobj='malloc.o' -d_voidsig=define -d_vfork=undef -d_charsprf=undef -case `(uname -r) 2>/dev/null` in -4*)libswanted=`echo $libswanted | sed 's/c_s \(.*\)/\1 c_s/'` - ccflags="$ccflags -DLANGUAGE_C -DBSD_SIGNALS -cckr -signed" - ;; -esac |