From a30b42843ffa257f6c49d3487fc3d8aae17f06e9 Mon Sep 17 00:00:00 2001
From: maintenance team <salome-mnt@opencascade.com>
Date: Thu, 3 Jun 2010 06:44:54 +0000
Subject: [PATCH] *** empty log message ***

---
 config_files/build.csh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config_files/build.csh b/config_files/build.csh
index 4c56ea4..a5d91d8 100755
--- 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
-- 
2.39.2