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

diff --git a/src/internal_config/INSTALL_BIN.template b/src/internal_config/INSTALL_BIN.template
index 93eed5a4f73b2af572d0ad2f164cda49f75cd3a8..39ff35c9e822ab4d5116b84386bd73d48adbd684 100644 (file)
--- a/src/internal_config/INSTALL_BIN.template
+++ b/src/internal_config/INSTALL_BIN.template
@@ -13,10 +13,6 @@ then
     echo Error: ¤{BINARIES_DIR} directory not found!
     exit
 fi
-if [ -d sat ]
-then
-    sat/sat init --add_project $(pwd)/PROJECT/project.pyconf
-fi
 mkdir ¤{INSTALL_DIR}
 echo copies ¤{BINARIES_DIR} into ¤{INSTALL_DIR}
 cp -RP ¤{BINARIES_DIR}/*  ¤{INSTALL_DIR}