diff options
Diffstat (limited to 'devtools/OS/PTX')
| -rw-r--r-- | devtools/OS/PTX | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devtools/OS/PTX b/devtools/OS/PTX new file mode 100644 index 000000000000..dfde70de05aa --- /dev/null +++ b/devtools/OS/PTX @@ -0,0 +1,12 @@ +# $Id: PTX,v 8.9 2002/03/21 23:59:25 gshapiro Exp $ + +dnl DO NOT EDIT THIS FILE. +dnl Place personal settings in devtools/Site/site.config.m4 + +define(`confMAPDEF', `-DNDBM') +define(`confOPTIMIZE', `-g') +define(`confLIBS', `-lsocket -linet -lelf -lnsl -lseq') +define(`confMBINDIR', `/usr/lib') +define(`confSBINDIR', `/usr/etc') +define(`confEBINDIR', `/usr/lib') +define(`confSBINGRP', `sys') |