aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2011-02-28 17:05:46 +0200
committerStavros Aronis <[email protected]>2011-02-28 17:17:06 +0200
commit935940301df3c2f376eafab2d8c7f27628a51cd2 (patch)
tree4280f056be708eeee366ad91b8966f1167667a6c
parentc7a637f08ce52c0713e03f9a5d051edd8b4f934f (diff)
downloadotp-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.spec4
-rw-r--r--lib/dialyzer/test/dialyzer_common.erl2
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(),