diff options
Diffstat (limited to 'devtools/OS/GNU')
| -rw-r--r-- | devtools/OS/GNU | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/devtools/OS/GNU b/devtools/OS/GNU new file mode 100644 index 000000000000..9c8b0f017ff9 --- /dev/null +++ b/devtools/OS/GNU @@ -0,0 +1,22 @@ +# $Id: GNU,v 8.3 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', `gcc') +define(`confOPTIMIZE', `-g -O2') +define(`confDEPEND_TYPE', `CC-M') +define(`confEBINDIR', `/libexec') +define(`confMANROOT', `/man/man') +define(`confMANOWN', `root') +define(`confMANGRP', `wheel') +define(`confMANMODE', `644') +define(`confMBINDIR', `/sbin') +define(`confSBINDIR', `/sbin') +define(`confSBINOWN', `root') +define(`confSBINGRP', `wheel') +define(`confSBINMODE', `4755') +define(`confUBINDIR', `/bin') +define(`confUBINOWN', `root') +define(`confUBINGRP', `wheel') +define(`confUBINMODE', `755') |