diff options
author | Anthony Jackson <[email protected]> | 2017-03-03 10:57:58 +0200 |
---|---|---|
committer | Anthony Jackson <[email protected]> | 2017-03-03 10:57:58 +0200 |
commit | 532a74a36a889e3d7d25004ebce70da62b013755 (patch) | |
tree | 769d9ee1d3de10ee4721ba88bb078e86fd31bbfa /lib/tools/obj/.gitignore | |
parent | b03fffab761b99efdac70816af25f4d8df1f2a49 (diff) | |
download | otp-532a74a36a889e3d7d25004ebce70da62b013755.tar.gz otp-532a74a36a889e3d7d25004ebce70da62b013755.tar.bz2 otp-532a74a36a889e3d7d25004ebce70da62b013755.zip |
tools: Allow Emake options to be passed in explicitly
This allows build scripts to use emake without needing to generate
an Emakefile before running make:all/0,1 or make:file/1,2.
Diffstat (limited to 'lib/tools/obj/.gitignore')
0 files changed, 0 insertions, 0 deletions