diff options
Diffstat (limited to 'scripts/run-dialyzer')
-rwxr-xr-x | scripts/run-dialyzer | 2 |
1 files changed, 1 insertions, 1 deletions
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 |