diff options
Diffstat (limited to 'devtools/OS/DomainOS')
| -rw-r--r-- | devtools/OS/DomainOS | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/devtools/OS/DomainOS b/devtools/OS/DomainOS new file mode 100644 index 000000000000..152e5575ef3b --- /dev/null +++ b/devtools/OS/DomainOS @@ -0,0 +1,20 @@ +# $Id: DomainOS,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(`confCC', `cc -A nansi -A,systype,any -A,runtype,bsd4.3') +define(`confBEFORE', `unistd.h dirent.h') +define(`confMAPDEF', `-DNDBM') +define(`confSBINDIR', `/usr/etc') +define(`confMBINDIR', `/usr/lib') +define(`confUBINDIR', `/usr/ucb') +define(`confEBINDIR', `/usr/lib') +PUSHDIVERT(3) +unistd.h: + cp /dev/null unistd.h + +dirent.h: + echo "#include <sys/dir.h>" > dirent.h + echo "#define dirent direct" >> dirent.h +POPDIVERT |