diff options
Diffstat (limited to 'devtools/OS/Linux')
| -rw-r--r-- | devtools/OS/Linux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devtools/OS/Linux b/devtools/OS/Linux index 52418c8473aa..119b6f9f830f 100644 --- a/devtools/OS/Linux +++ b/devtools/OS/Linux @@ -1,9 +1,10 @@ -# $Id: Linux,v 8.30 2002/03/21 23:59:25 gshapiro Exp $ +# $Id: Linux,v 8.31 2009/01/22 02:15:42 guenther Exp $ dnl DO NOT EDIT THIS FILE. dnl Place personal settings in devtools/Site/site.config.m4 define(`confDEPEND_TYPE', `CC-M') +define(`confCCOPTS_SO', `-fPIC') define(`confSM_OS_HEADER', `sm_os_linux') define(`confMANROOT', `/usr/man/man') define(`confLIBS', `-ldl') |