diff options
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/test/dialyzer.spec | 4 | ||||
| -rw-r--r-- | lib/dialyzer/test/dialyzer_common.erl | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/lib/dialyzer/test/dialyzer.spec b/lib/dialyzer/test/dialyzer.spec index 962a2e63db..7499dbad1e 100644 --- a/lib/dialyzer/test/dialyzer.spec +++ b/lib/dialyzer/test/dialyzer.spec @@ -1,3 +1,5 @@ {alias, tests, "../dialyzer_test"}. -{suites, tests, all}.
\ No newline at end of file +{suites, tests, all}. + +{skip_cases, tests, small_tests_SUITE, cerl_hipeify, "Needs compiler in plt"}.
\ No newline at end of file diff --git a/lib/dialyzer/test/dialyzer_common.erl b/lib/dialyzer/test/dialyzer_common.erl index cd2e76473a..5577405483 100644 --- a/lib/dialyzer/test/dialyzer_common.erl +++ b/lib/dialyzer/test/dialyzer_common.erl @@ -22,7 +22,7 @@ -define(plt_filename,"dialyzer_plt"). -define(home_plt_filename,".dialyzer_plt"). -define(plt_lockfile,"plt_lock"). --define(required_modules, [kernel,stdlib,compiler,erts,mnesia]). +-define(required_modules, [erts, kernel, stdlib]). -record(suite, {suitename :: string(), outputfile :: file:io_device(), |