diff options
Diffstat (limited to 'hints/dec_osf_2_0.sh')
| -rw-r--r-- | hints/dec_osf_2_0.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/hints/dec_osf_2_0.sh b/hints/dec_osf_2_0.sh deleted file mode 100644 index 207e56540a..0000000000 --- a/hints/dec_osf_2_0.sh +++ /dev/null @@ -1,13 +0,0 @@ -# hints/dec_osf_2_0.sh -d_odbm='undef' # We don't need both odbm and ndbm -gidtype='gid_t' -groupstype='gid_t' -d_voidshmat='define' -clocktype='time_t' -libpth="$libpth /usr/shlib" # Use the shared libraries if possible -libc='/usr/shlib/libc.so' # The archive version is /lib/libc.a -case `uname -m` in - mips|alpha) optimize="$optimize -g" - ccflags="$ccflags -D_BSD -DSTANDARD_C -DDEBUGGING" ;; - *) ccflags="$ccflags -D_BSD -DSTANDARD_C -DDEBUGGING" ;; -esac |