diff --git a/scripts/build_release.py b/scripts/build_release.py index 0ca04f39..e4ac9a5e 100644 --- a/scripts/build_release.py +++ b/scripts/build_release.py @@ -89,7 +89,11 @@ def read_version(): print("Zipping release...") shutil.make_archive(zip_name, "zip", BUILD_DIR) -print("Clearing build directory...") -shutil.rmtree(BUILD_DIR) +if len(sys.argv)>1: # any command line argument will do to skip version check + if sys.argv[1] == "github": + print("Keeping the build directory") +else: + print("Clearing build directory...") + shutil.rmtree(BUILD_DIR) print("Build successfull! Have a great release!")