Fix deploy script

shabbyrobe · Dec 28, 2023 · b6db57e · b6db57e
1 parent c8d7bc6
commit b6db57e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools.sh b/tools.sh
@@ -6,7 +6,7 @@ script_abspath="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 # push tags.
 cmd-deploy() {
   # Clean out dist to avoid "file already exists" errors:
-  rm ./dist/*
+  rm -f ./dist/*
   source venv/bin/activate
   python3 setup.py sdist bdist_wheel
   python3 -m twine upload dist/*