diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/intel-osf1 | 2 | ||||
| -rw-r--r-- | config/irix6.x | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/config/intel-osf1 b/config/intel-osf1 index 5d31830..cb1035a 100644 --- a/config/intel-osf1 +++ b/config/intel-osf1 @@ -41,6 +41,8 @@ PROD_CPPFLAGS= PROFILE_CFLAGS=-pg PROFILE_CPPFLAGS= +# Turn off shared lib option. It does not work for TFLOPS yet. +enable_shared="${enable_shared:-no}" # Set this to the width required by printf() to print type `long # long'. For instance, if the format would be `%lld' then set it to diff --git a/config/irix6.x b/config/irix6.x index 0249ee4..113756f 100644 --- a/config/irix6.x +++ b/config/irix6.x @@ -80,5 +80,8 @@ case "X-$CC_BASENAME" in # Extra profiling flags PROFILE_CFLAGS=-pg PROFILE_CPPFLAGS= + + # Turn off shared lib option. It does not work for IRIX64 yet. + test `uname -s` = IRIX64 && enable_shared="${enable_shared:-no}" ;; esac |