Add runnondexall

Author: MyEnthusiastic

auto-run-nondex/runNondexAll.sh

@@ -1,5 +1,5 @@
 # Assume this script is run from the folder of .pom.xml files
 
-mvn edu.illinois:nondex-maven-plugin:2.1.1-SNAPSHOT:nondex -Dlicense.skip=true -Drat.skip=true -fae | tee ./result.log
+mvn edu.illinois:nondex-maven-plugin:2.1.1:nondex -Dlicense.skip -Drat.skip -fae | tee ./nondex.log
 
-awk '/\[INFO\] Across all seeds:/{flag=1; next} /\[INFO\] Test results can be found at:/{flag=0} flag' "./result.log"
+awk '/\[INFO\] Across all seeds:/{flag=1; next} /\[INFO\] Test results can be found at:/{flag=0} flag' "./nondex.log" > "./result"