diff options
| author | Sverker Eriksson <[email protected]> | 2019-06-24 15:00:52 +0200 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2019-06-26 15:00:45 +0200 |
| commit | 37338e9876e911d5b019a7f5dda3a7ffc34f8d0b (patch) | |
| tree | 3aebb6efc34f8bb21d9f72eefcec3f24aab62464 /configure.src | |
| parent | a3ba7fe232db7695a70b06023e524772e451494f (diff) | |
| download | otp-37338e9876e911d5b019a7f5dda3a7ffc34f8d0b.tar.gz otp-37338e9876e911d5b019a7f5dda3a7ffc34f8d0b.tar.bz2 otp-37338e9876e911d5b019a7f5dda3a7ffc34f8d0b.zip | |
Fix VALGRIND_MISC_FLAGS defaults to use ERL_TOP
for suppression file.
Diffstat (limited to 'configure.src')
0 files changed, 0 insertions, 0 deletions