Read arguments from resource file

This commit is contained in:
Erik C. Thauvin 2024-05-27 20:14:33 -07:00
parent e7ed7edc30
commit ec50e5272b
Signed by: erik
GPG key ID: 776702A6A2DA330E
3 changed files with 57 additions and 55 deletions

View file

@ -2,6 +2,6 @@
java -cp "lib/test/*" org.pitest.mutationtest.commandline.MutationCoverageReport --help |\
grep "^.*--.*" |\
sed -e "s/\* --/--/" -e "s/ .*//" -e "s/^--/\"--/" -e "s/$/\",/" |\
sed -e "s/\* --/--/" -e "s/ .*//" |\
sort |\
sed -e '/testPlugin/d' -e '/--help/d' -e '/---/d' -e '$s/,//'
sed -e '/testPlugin/d' -e '/--help/d' -e '/---/d' > src/test/resources/pitest-args.txt