diff options
| author | Dan Gudmundsson <[email protected]> | 2019-06-26 10:28:33 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2019-06-26 10:28:33 +0200 |
| commit | d274646697e41f7ced18578475e619cddb8392fa (patch) | |
| tree | a9d2561831e4a04933a644f1701596b9b0babd74 /lib/mnesia | |
| parent | 8cefbe6796d52299be25029215686ed55a75026b (diff) | |
| parent | bf9e4be9ef971da7d7325424dde50d9bc6b186aa (diff) | |
| download | otp-d274646697e41f7ced18578475e619cddb8392fa.tar.gz otp-d274646697e41f7ced18578475e619cddb8392fa.tar.bz2 otp-d274646697e41f7ced18578475e619cddb8392fa.zip | |
Merge branch 'maint'
* maint:
Speed up compilation
Cleanup configure
Fail if no C++ compiler is avaiable
Diffstat (limited to 'lib/mnesia')
0 files changed, 0 insertions, 0 deletions