diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/diffable | 4 | ||||
| -rwxr-xr-x | scripts/run-dialyzer | 2 |
2 files changed, 1 insertions, 5 deletions
diff --git a/scripts/diffable b/scripts/diffable index ee738199cb..9996d84c80 100755 --- a/scripts/diffable +++ b/scripts/diffable @@ -203,10 +203,6 @@ vsn_is_harmful(F) -> get_src(["preloaded"|Apps]) -> WC = filename:join(code:root_dir(), "erts/preloaded/src/*.erl"), filelib:wildcard(WC) ++ get_src(Apps); -get_src(["hipe"|Apps]) -> - LibDir = code:lib_dir(hipe), - WC = filename:join(LibDir, "*/*.erl"), - filelib:wildcard(WC) ++ get_src(Apps); get_src(["inets"|Apps]) -> LibDir = code:lib_dir(inets), WC = filename:join(LibDir, "src/*/*.erl"), diff --git a/scripts/run-dialyzer b/scripts/run-dialyzer index 2d157518e7..2cf19ebcb2 100755 --- a/scripts/run-dialyzer +++ b/scripts/run-dialyzer @@ -11,7 +11,7 @@ filter () { done } -EXCLUDED_APPLICATIONS="hipe" +EXCLUDED_APPLICATIONS="" if [ "X$ERL_TOP" != "X" -a -d $ERL_TOP/lib ]; then LIB_DIR=$ERL_TOP/lib else |