diff options
Diffstat (limited to 'hints/dec_osf_2_0.sh')
| -rw-r--r-- | hints/dec_osf_2_0.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/hints/dec_osf_2_0.sh b/hints/dec_osf_2_0.sh new file mode 100644 index 0000000000..207e56540a --- /dev/null +++ b/hints/dec_osf_2_0.sh @@ -0,0 +1,13 @@ +# 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 |