diff options
| -rwxr-xr-x | make/scripts/check-junit.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/scripts/check-junit.sh b/make/scripts/check-junit.sh index 474d074a6..232b3c6a2 100755 --- a/make/scripts/check-junit.sh +++ b/make/scripts/check-junit.sh @@ -35,4 +35,5 @@ function checkresult() { } checkresult results +checkresult results-java7 checkresult results-x32 |