diff options
Diffstat (limited to 'Utilities/Release/config_OSF1')
| -rw-r--r-- | Utilities/Release/config_OSF1 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Utilities/Release/config_OSF1 b/Utilities/Release/config_OSF1 index 2606bb8..4d8c75a 100644 --- a/Utilities/Release/config_OSF1 +++ b/Utilities/Release/config_OSF1 @@ -9,9 +9,9 @@ TCL_TCLSH="/usr/local/bin/tclsh8.3" # Write entries into the cache file before building cmake. write_cache() { -cat > CMakeCache.txt <<EOF -BUILD_TESTING:BOOL=ON -CMAKE_VERBOSE_MAKEFILE:BOOL=TRUE +write_standard_cache + +cat >> CMakeCache.txt <<EOF FLTK_INCLUDE_PATH:PATH=${FLTK_INCLUDE_PATH} FLTK_LIBRARY:FILEPATH=${FLTK_LIBRARY} TCL_TCLSH:FILEPATH=${TCL_TCLSH} |