sat #29100 : bug dossier PROJET dans les archives : intégration patch correctif de...

diff --git a/src/internal_config/INSTALL_BIN.template b/src/internal_config/INSTALL_BIN.template
index 24536fec10deb8b3ba9b227f31150f10afcd353d..93eed5a4f73b2af572d0ad2f164cda49f75cd3a8 100644 (file)
--- a/src/internal_config/INSTALL_BIN.template
+++ b/src/internal_config/INSTALL_BIN.template
@@ -1,7 +1,7 @@
 #!/bin/bash
 # 
 # This script copies BINARIES content into INSTALL, and substitute paths to enable extra compilation. 
-# It also initialises sat with PROJECTS/project.pyconf
+# It also initialises sat with PROJECT/project.pyconf
 # If INSTALL already exists : does nothing!
 if [ -d ¤{INSTALL_DIR} ]
 then
@@ -15,7 +15,7 @@ then
 fi
 if [ -d sat ]
 then
-    sat/sat init --add_project $(pwd)/PROJECTS/project.pyconf
+    sat/sat init --add_project $(pwd)/PROJECT/project.pyconf
 fi
 mkdir ¤{INSTALL_DIR}
 echo copies ¤{BINARIES_DIR} into ¤{INSTALL_DIR}