diff options
author | Magnus Ahltorp <map@kth.se> | 2014-11-13 19:25:11 +0100 |
---|---|---|
committer | Magnus Ahltorp <map@kth.se> | 2014-11-19 04:50:33 +0100 |
commit | 31c95a0b8f8776011846d4b8744aa80be68d4830 (patch) | |
tree | 0c19438584258610296364ee42108eed42188204 /.gitignore | |
parent | 9eae8602cefaa53dad6f4c7fca1649668ba9efc5 (diff) |
Use an escript to call make, since 'erl -make' doesn't return error code
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions