diff options
| author | Björn Gustavsson <[email protected]> | 2017-03-06 10:06:13 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-03-06 10:06:13 +0100 |
| commit | 40c05c8fa0b8e12588139b1c96ad8dec70a9cdb2 (patch) | |
| tree | e0f73949c2daa4de88b2218cf074674462fc9450 /configure.in | |
| parent | ff965ce109ea10ec69bbac47b3a3f9b51c43f236 (diff) | |
| parent | 532a74a36a889e3d7d25004ebce70da62b013755 (diff) | |
| download | otp-40c05c8fa0b8e12588139b1c96ad8dec70a9cdb2.tar.gz otp-40c05c8fa0b8e12588139b1c96ad8dec70a9cdb2.tar.bz2 otp-40c05c8fa0b8e12588139b1c96ad8dec70a9cdb2.zip | |
Merge pull request #1313 from expelledboy/maint
tools: Allow Emake options to be passed in explicitly
OTP-14253
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions