From 1f751d36a49b40e80c35f11fc7a4386d7f895d55 Mon Sep 17 00:00:00 2001 From: Jonah Miller Date: Wed, 10 Jul 2024 07:51:41 -0600 Subject: [PATCH] keep source by default --- script/config.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/script/config.py b/script/config.py index 1af6bef..07729aa 100644 --- a/script/config.py +++ b/script/config.py @@ -195,8 +195,8 @@ def build(PROBLEM, PATHS): CLEAN = not NOCLEAN WRITE_PARAM = not NOPARAM KEEP_SRC = '-src' in sys.argv - NOKEEP_SRC = '-nosrc' - REMOVE_SRC = not NOKEEP_SRC + NOKEEP_SRC = '-nosrc' in sys.argv + REMOVE_SRC = NOKEEP_SRC # get version VERSION = get_version()