Merge pull request #525 from avcopan/dev

Throw error if linting fails
Auto-Mech · Jul 9, 2024 · 96703bc · 96703bc
2 parents e699ff7 + 56057c2
commit 96703bc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/old-lint.sh b/old-lint.sh
@@ -1,10 +1,11 @@
 #!/usr/bin/env bash
+set -e  # if any command fails, quit
 SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 
 (
     cd $SCRIPT_DIR
     echo "New linting:"
-    bash ./lint.sh
+    source ./lint.sh
 
     echo "Old linting:"
     pylint --rcfile=.pylintrc automol