diff options
| author | Mattias Andrée <maandree@kth.se> | 2020-06-01 15:14:01 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@kth.se> | 2020-06-01 15:14:01 +0200 |
| commit | 8be724999873ec2409ab3f36d4247c04ed883873 (patch) | |
| tree | 48d94eac58d85ae37c3d21861fbe36ed266c81bf /config.mk | |
| parent | Implement some todos (diff) | |
| download | sctrace-8be724999873ec2409ab3f36d4247c04ed883873.tar.gz sctrace-8be724999873ec2409ab3f36d4247c04ed883873.tar.bz2 sctrace-8be724999873ec2409ab3f36d4247c04ed883873.tar.xz | |
Use WCOREDUMP rather than __WCOREDUMP
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to 'config.mk')
0 files changed, 0 insertions, 0 deletions