diff --git a/auto-run-nondex/runNondex.sh b/auto-run-nondex/runNondex.sh index 62d4a6c93..69b6e2f73 100755 --- a/auto-run-nondex/runNondex.sh +++ b/auto-run-nondex/runNondex.sh @@ -16,7 +16,7 @@ runNondex () { input="modnames" while IFS= read -r line do - mvn edu.illinois:nondex-maven-plugin:$nondex_version:nondex -pl :$line -Dlicense.skip=true | tee ./.runNondex/LOGSSS/$line.log + mvn edu.illinois:nondex-maven-plugin:$nondex_version:nondex -pl :$line -Dlicense.skip -Drat.skip --fail-at-end | tee ./.runNondex/LOGSSS/$line.log done < "$input" grep -rnil "There are test failures" ./.runNondex/LOGSSS/* | tee ./.runNondex/LOGresult input=".runNondex/LOGresult" diff --git a/auto-run-nondex/runNondexAll.sh b/auto-run-nondex/runNondexAll.sh new file mode 100644 index 000000000..cf6d4de5f --- /dev/null +++ b/auto-run-nondex/runNondexAll.sh @@ -0,0 +1,5 @@ +# Assume this script is run from the folder of .pom.xml files + +mvn edu.illinois:nondex-maven-plugin:2.1.1:nondex -Dlicense.skip -Drat.skip --fail-at-end | tee ./nondex.log + +awk '/\[INFO\] Across all seeds:/{flag=1; next} /\[INFO\] Test results can be found at:/{flag=0} flag' "./nondex.log" > "./result" \ No newline at end of file