From 9e4a00af4523cdfacbb6b245679e2e60fbc6b375 Mon Sep 17 00:00:00 2001 From: Rangi Date: Tue, 7 Jul 2020 21:09:05 -0400 Subject: [PATCH] Get all unnamed symbols with make DEBUG=1 --- .travis.yml | 2 +- tools/unnamed.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index f79088614..a98b03f00 100644 --- a/.travis.yml +++ b/.travis.yml @@ -19,7 +19,7 @@ before_script: fi; } script: - - make -j2 compare + - make DEBUG=1 -j2 compare - check_status after_success: - |- diff --git a/tools/unnamed.py b/tools/unnamed.py index d6775073d..cb288f19e 100755 --- a/tools/unnamed.py +++ b/tools/unnamed.py @@ -37,7 +37,7 @@ args = parser.parse_args() # Get list of object files objects = None if args.rootdir: - for line in Popen(["make", "-C", args.rootdir, "-s", "-p"], + for line in Popen(["make", "-C", args.rootdir, "-s", "-p", "DEBUG=1"], stdout=PIPE).stdout.read().decode().split("\n"): if line.startswith("crystal_obj := "): objects = line[15:].strip().split()