diff options
Diffstat (limited to 'src/driver/make.code.defn')
| -rw-r--r-- | src/driver/make.code.defn | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/driver/make.code.defn b/src/driver/make.code.defn index d26a076..b973728 100644 --- a/src/driver/make.code.defn +++ b/src/driver/make.code.defn @@ -11,3 +11,10 @@ SRCS = state.cc \ # Subdirectories containing source files SUBDIRS = + +# disable automatic template instantiation on DEC Alphas +ifeq ($(shell uname), OSF1) + ifeq ($(CXX), cxx) + CXXFLAGS += -nopt + endif +endif |