Implement the --shutdown-servers command line option with 0 as default

[modules/kernel.git] / bin / appli_install.sh

diff --git a/bin/appli_install.sh b/bin/appli_install.sh
index e587c1251f50f21f04af6e26abea7d12cd6fe406..68e505a73f5627a8767db967777913e656a8c422 100644 (file)
--- a/bin/appli_install.sh
+++ b/bin/appli_install.sh
@@ -58,7 +58,7 @@ fi
 
 VERSION=V3_2_0
 
-for module in KERNEL MED GUI GEOM SMESH VISU SUPERV LIGHT NETGENPLUGIN PYCALCULATOR; 
+for module in KERNEL MED GUI GEOM SMESH VISU LIGHT NETGENPLUGIN PYCALCULATOR; 
 do 
     echo " ========= " ${module};
     python virtual_salome.py -v --prefix="." --module=$INSTALL_ROOT/${module}_${VERSION}