diff options
Diffstat (limited to 'test/partest')
-rwxr-xr-x | test/partest | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/partest b/test/partest new file mode 100755 index 000000000..5794e2e57 --- /dev/null +++ b/test/partest @@ -0,0 +1,12 @@ +#!/usr/bin/env bash +# partest error message references partest script to update check files, but +# doesn't work for dotty because we don't know where tests came from. + +if [ $1='--update-check' ]; +then + echo """ERROR: Since dotty partest runs on generated files, please update the check +files in the original location (run tests) or update the expected error count +(neg tests) in the test file." +else + echo "This script doesn't launch partest, please use sbt partest instead." +fi
\ No newline at end of file |