Skip to content

Instantly share code, notes, and snippets.

@thumbot

thumbot/make_dialyzer.txt Secret

Created December 1, 2016 19:47
Show Gist options
  • Save thumbot/b784156502c39f93689e7b55fe6baf86 to your computer and use it in GitHub Desktop.
Save thumbot/b784156502c39f93689e7b55fe6baf86 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
make_dialyzer.txt
./rebar compile
==> develop.d3881e8.enable_thumbs.4fa1787 (compile)
make[1]: Entering directory `/tmp/thumbs/develop.d3881e8.enable_thumbs.4fa1787'
cd c_src; make
make[2]: Entering directory `/tmp/thumbs/develop.d3881e8.enable_thumbs.4fa1787/c_src'
make[2]: Nothing to be done for `js'.
make[2]: Leaving directory `/tmp/thumbs/develop.d3881e8.enable_thumbs.4fa1787/c_src'
make[1]: Leaving directory `/tmp/thumbs/develop.d3881e8.enable_thumbs.4fa1787'
Checking whether the PLT /home/ubuntu/.combo_dialyzer_plt is up-to-date... yes
done (passed successfully)
yes
done (passed successfully)
==> develop.d3881e8.enable_thumbs.4fa1787 (dialyzer)
Checking whether the PLT /home/ubuntu/.combo_dialyzer_plt is up-to-date... yes
Proceeding with analysis... done in 0m4.20s
done (passed successfully)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment