diff options
Diffstat (limited to 'devtools/OS/UNICOS-mk')
| -rw-r--r-- | devtools/OS/UNICOS-mk | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/devtools/OS/UNICOS-mk b/devtools/OS/UNICOS-mk new file mode 100644 index 000000000000..a57e308b3c33 --- /dev/null +++ b/devtools/OS/UNICOS-mk @@ -0,0 +1,15 @@ +# $Id: UNICOS-mk,v 8.1 2003/04/21 17:03:52 ca Exp $ + +dnl DO NOT EDIT THIS FILE. +dnl Place personal settings in devtools/Site/site.config.m4 + +define(`confENVDEF', `-DUNICOS -DUNICOSMK') +define(`confDEPEND_TYPE', `CC-M') +define(`confMAPDEF', `-DNDBM') +define(`confOPTIMIZE', `-O') +define(`confINSTALL', `cpset') +define(`confSM_OS_HEADER', `sm_os_unicosmk') +define(`confMBINDIR', `/usr/lib') +define(`confSBINDIR', `/usr/etc') +define(`confUBINDIR', `/usr/ucb') +define(`confEBINDIR', `/usr/lib') |