diff options
| author | Rickard Green <[email protected]> | 2018-08-09 17:13:30 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2018-08-09 17:13:30 +0200 |
| commit | f2c683c321baccc53b68fd4114b49ad4c72c90aa (patch) | |
| tree | 960fce5723f0179c890a9fd3418bb5948755e99b /make | |
| parent | 74d0077a820ee09d41dd96e7f2a95e9906be448d (diff) | |
| parent | a81f89796e439f672681ea21baaf9e87e0f1936b (diff) | |
| download | otp-f2c683c321baccc53b68fd4114b49ad4c72c90aa.tar.gz otp-f2c683c321baccc53b68fd4114b49ad4c72c90aa.tar.bz2 otp-f2c683c321baccc53b68fd4114b49ad4c72c90aa.zip | |
Merge branch 'maint'
* maint:
Omit include path debug info for +deterministic builds
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions