From 1241c5e1b62dd8d90b91814a73759f3154e9a9e8 Mon Sep 17 00:00:00 2001 From: crouzet Date: Thu, 14 Apr 2022 08:47:29 +0200 Subject: [PATCH] =?utf8?q?suppression=20de=20l'init=20project=20dans=20ins?= =?utf8?q?tall=5Fbin=20:=20c'est=20maintenant=20fait=20pas=20d=C3=A9faut?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- src/internal_config/INSTALL_BIN.template | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/internal_config/INSTALL_BIN.template b/src/internal_config/INSTALL_BIN.template index 93eed5a..39ff35c 100644 --- 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} -- 2.30.2