diff options
| author | Stavros Aronis <[email protected]> | 2011-02-28 17:05:46 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2011-02-28 17:17:06 +0200 |
| commit | 935940301df3c2f376eafab2d8c7f27628a51cd2 (patch) | |
| tree | 4280f056be708eeee366ad91b8966f1167667a6c | |
| parent | c7a637f08ce52c0713e03f9a5d051edd8b4f934f (diff) | |
| download | otp-935940301df3c2f376eafab2d8c7f27628a51cd2.tar.gz otp-935940301df3c2f376eafab2d8c7f27628a51cd2.tar.bz2 otp-935940301df3c2f376eafab2d8c7f27628a51cd2.zip | |
Create plt with erts, kernel and stdlib only
| -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(), |