Small update

diff --git a/config_files/build.csh b/config_files/build.csh
index a14ed1b6228477a0e98daab2ff40b07357a4af6c..5fd1e5286e1c3179fcd0f0a2311f5a6cf38b4c53 100755 (executable)
--- a/config_files/build.csh
+++ b/config_files/build.csh
@@ -236,7 +236,11 @@ foreach module (${modules})
            #########################################################
            # call build_configure
            #########################################################
+           if (! ($?BUILDCONF_OPTS) ) then
+           set mybuildconf_keys=""
+           else
            set mybuildconf_keys="${BUILDCONF_OPTS}"
+           endif
            if ( $inst_with_gui == 0 ) then
                set mybuildconf_keys="${mybuildconf_keys} --without-gui"
            endif
@@ -328,7 +332,11 @@ foreach module (${modules})
        if ( ! -e ${module_src}/configure ) then
            echo "\!\!\! Warning \!\!\! Can not find configure script in ${module_src}."
        else
+           if (! ($?BUILDCONF_OPTS) ) then
+           set myconf_keys=""
+           else
            set myconf_keys="${CONF_OPTS}"
+           endif
            if ( $inst_with_gui == 0 ) then
                set myconf_keys="${myconf_keys} --without-gui"
            endif