]> SALOME platform Git repositories - tools/install.git/commitdiff
Salome HOME
Deleting -i key
authormaintenance team <salome-mnt@opencascade.com>
Wed, 1 Jul 2009 09:40:49 +0000 (09:40 +0000)
committermaintenance team <salome-mnt@opencascade.com>
Wed, 1 Jul 2009 09:40:49 +0000 (09:40 +0000)
config_files/build.csh
config_files/build.sh

index 79dbe7a15cfe239ef01b7ce00e5deacb39c7eeb1..864b9be1fd7cfcee770a9cfdd779f4790880aec5 100755 (executable)
@@ -75,7 +75,7 @@ if ( $is_help == 1 ) then
 echo ""
 echo ""
 echo "Description:"
-echo "            Builds given SALOME modules by performing make and (optionally) make install commands"
+echo "            Builds given SALOME modules by performing make and make install commands"
 echo ""
 echo "Usage:"
 echo "            build.csh [ <option> ] ... [ <module> [ <module> ... ] ]"
index 56f8c5a74fed84bd4eedd63ae458286d2e2ffbf0..6705db0ae80a8df281a244e6dbe7a5e94fb4277e 100755 (executable)
@@ -21,7 +21,7 @@
 usage(){
     echo ""
     echo "Description:"
-    echo "            Builds given SALOME modules by performing make and (optionally)"
+    echo "            Builds given SALOME modules by performing make and "
     echo "            make install commands"
     echo ""
     echo "Usage:"