diff options
Diffstat (limited to 'lib/dialyzer/test/remake')
| -rwxr-xr-x | lib/dialyzer/test/remake | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/dialyzer/test/remake b/lib/dialyzer/test/remake new file mode 100755 index 0000000000..654bdd9e88 --- /dev/null +++ b/lib/dialyzer/test/remake @@ -0,0 +1,9 @@ +#!/bin/bash + +erlc +warn_exported_vars +warn_unused_import +warn_untyped_record +warn_missing_spec dialyzer_common.erl file_utils.erl +if [ -n "$1" ]; then + erl -noshell -run dialyzer_common create_suite "$1" -s erlang halt +else + erl -noshell -run dialyzer_common create_all_suites -s erlang halt +fi +rm dialyzer_common.beam file_utils.beam
\ No newline at end of file |