*** empty log message ***

diff --git a/config_files/build.csh b/config_files/build.csh
index 4c56ea41398314aa30b4933006ab85df6d37c91c..a5d91d862f5f1360618abb578253fd2b8a01761a 100755 (executable)
--- a/config_files/build.csh
+++ b/config_files/build.csh
@@ -230,7 +230,7 @@ foreach module (${modules})
        #########################################################
        # check if build_configure script exists
        #########################################################
-       if ( ! -e ${module_src}/build_configure && "${module}" != "PARAVIS") then
+       if ( ! -e ${module_src}/build_configure && "${module}" != "PARAVIS" ) then
            echo "\!\!\! Warning \!\!\! Can not find build_configure script in ${module_src}."
            else
            if ( "${module}" == "PARAVIS" ) then