diff options
Diffstat (limited to 'test/etc/push-and-run-prebuilt-test-jar')
| -rwxr-xr-x | test/etc/push-and-run-prebuilt-test-jar | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/etc/push-and-run-prebuilt-test-jar b/test/etc/push-and-run-prebuilt-test-jar index df9c0d562d..2b9604b515 100755 --- a/test/etc/push-and-run-prebuilt-test-jar +++ b/test/etc/push-and-run-prebuilt-test-jar @@ -26,8 +26,6 @@ FLAGS="" TARGET_SUFFIX="" COMPILE_FLAGS="" -echo "$@" - while true; do if [ "x$1" = "x--quiet" ]; then QUIET="y" |