From 562047116a0e55b0704a8e533caf60fc179dc0c1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Thibaut=20VAR=C3=88NE?= Date: Wed, 19 Oct 2022 19:53:54 +0200 Subject: [PATCH] phase1: remove unused variables MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Thibaut VARÈNE --- phase1/master.cfg | 3 --- 1 file changed, 3 deletions(-) diff --git a/phase1/master.cfg b/phase1/master.cfg index 56d0a1f..16817d4 100644 --- a/phase1/master.cfg +++ b/phase1/master.cfg @@ -213,9 +213,6 @@ c['prioritizeBuilders'] = prioritizeBuilders work_dir = os.path.abspath(ini['general'].get("workdir", ".")) scripts_dir = os.path.abspath("../scripts") -cc_command = "gcc" -cxx_command = "g++" - tree_expire = inip1.getint("expire", 0) config_seed = inip1.get("config_seed", "") -- 2.30.2