aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorsanmiguel <[email protected]>2017-02-11 22:03:18 +0100
committersanmiguel <[email protected]>2017-02-11 22:03:18 +0100
commit2bbbebed9ff8e0055a55023fbe015f1b127217cd (patch)
tree70feaf63503e35c0bfadf6b19dbcbc8c47275c2e
parent5e3b06faa3fdaa18861748fa27361e3c22ac1ec0 (diff)
downloadkerl-fix-build_plt.tar.gz
kerl-fix-build_plt.tar.bz2
kerl-fix-build_plt.zip
Attempt a more accurate way to get apps for dialyzer PLT buildingfix-build_plt
-rwxr-xr-xkerl5
1 files changed, 3 insertions, 2 deletions
diff --git a/kerl b/kerl
index 090021d..06577b3 100755
--- a/kerl
+++ b/kerl
@@ -946,8 +946,9 @@ build_plt()
plt=$dialyzerd/plt
build_log=$dialyzerd/build.log
dialyzer=$1/bin/dialyzer
- apps=`ls -1 $1/lib | cut -d- -f1 | grep -Ev 'erl_interface|jinterface' | xargs echo`
- $dialyzer --output_plt $plt --build_plt --apps $apps > $build_log 2>&1
+ dirs=`find $1/lib -maxdepth 2 -name ebin -type d -exec dirname {} \;`
+ apps=`for app in $dirs; do basename $app | cut -d- -f1 ; done | grep -Ev 'erl_interface|jinterface' | xargs echo`
+ $dialyzer --output_plt $plt --build_plt --apps $apps >> $build_log 2>&1
status=$?
if [ $status -eq 0 -o $status -eq 2 ]; then
echo "Done building $plt"