suppression de l'init project dans install_bin : c'est maintenant fait pas défaut

[tools/sat.git] / src / internal_config / INSTALL_BIN.template

diff --git a/src/internal_config/INSTALL_BIN.template b/src/internal_config/INSTALL_BIN.template
index eb683a8876e367e80a989f9776936746361dfc38..39ff35c9e822ab4d5116b84386bd73d48adbd684 100644 (file)
--- a/src/internal_config/INSTALL_BIN.template
+++ b/src/internal_config/INSTALL_BIN.template
@@ -1,6 +1,7 @@
 #!/bin/bash
 # 
 # This script copies BINARIES content into INSTALL, and substitute paths to enable extra compilation. 
+# It also initialises sat with PROJECT/project.pyconf
 # If INSTALL already exists : does nothing!
 if [ -d ¤{INSTALL_DIR} ]
 then