diff --git a/bin/abcrown.sh b/bin/abcrown.sh index 0eb92f14624945bf1c2e931a65be4ebb6bfe63d3..49e54fa0e0bb4af0ba34003a3ea831b8101900e9 100755 --- a/bin/abcrown.sh +++ b/bin/abcrown.sh @@ -23,7 +23,7 @@ if [ "$1" = "--version" ]; then SCRIPT_DIR=$( dirname -- "$0"; ) - $SCRIPT_DIR/dummyversion.py "complete_verifier.abcrown" "dummy-version" + $SCRIPT_DIR/dummyversion.py "complete_verifier.abcrown" else OMP_NUM_THREADS=1 python3 -m complete_verifier.abcrown "$@" fi diff --git a/bin/dummyversion.py b/bin/dummyversion.py index 1ba1dfa9cfb8d0a58bc84b9079dfa4bb0a1887f1..55ff02356c894789ca8e200c139da542da3a2a91 100755 --- a/bin/dummyversion.py +++ b/bin/dummyversion.py @@ -26,7 +26,6 @@ import importlib from importlib import import_module module_name = str(sys.argv[1]) -dummy_version = str(sys.argv[2]) spec = importlib.util.find_spec(module_name) @@ -42,5 +41,5 @@ try: except ModuleNotFoundError: exit(1) -print(dummy_version) +print("dummy-version") exit(0) diff --git a/bin/nnenum.sh b/bin/nnenum.sh index bb447dea12ce283e40487b5ea1e546397bd4dd1a..907dfda8b2d87f17eb8494bbe09f96889bfccd94 100755 --- a/bin/nnenum.sh +++ b/bin/nnenum.sh @@ -23,7 +23,7 @@ if [ "$1" = "--version" ]; then SCRIPT_DIR=$( dirname -- "$0"; ) - $SCRIPT_DIR/dummyversion.py "nnenum.nnenum" "dummy-version" + $SCRIPT_DIR/dummyversion.py "nnenum.nnenum" else OMP_NUM_THREADS=1 OPENBLAS_NUM_THREADS=1 python3 -m nnenum.nnenum "$@" fi