diff options
| author | Dan Gudmundsson <[email protected]> | 2019-06-26 10:26:45 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2019-06-26 10:26:45 +0200 |
| commit | bf9e4be9ef971da7d7325424dde50d9bc6b186aa (patch) | |
| tree | ea7c784a8606beb5a6ed9145b74803b6fdfc4e3a /lib/os_mon/Makefile | |
| parent | a92672118b5b80fc7f6d902bf064c6efae2754dc (diff) | |
| parent | a6a9a16dbf1ad5eb49b4f72a8073def5e0566485 (diff) | |
| download | otp-bf9e4be9ef971da7d7325424dde50d9bc6b186aa.tar.gz otp-bf9e4be9ef971da7d7325424dde50d9bc6b186aa.tar.bz2 otp-bf9e4be9ef971da7d7325424dde50d9bc6b186aa.zip | |
Merge branch 'dgud/wx-configure-fixes' into maint
* dgud/wx-configure-fixes:
Speed up compilation
Cleanup configure
Fail if no C++ compiler is avaiable
Diffstat (limited to 'lib/os_mon/Makefile')
0 files changed, 0 insertions, 0 deletions