diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-07 21:09:05 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-07 21:09:05 -0400 |
| commit | 9e4a00af4523cdfacbb6b245679e2e60fbc6b375 (patch) | |
| tree | 7f41efe479d3325b388adae6e79d759f22f00301 /tools/unnamed.py | |
| parent | 43a92957899b0f14c1c60cb533f298d08c16a72b (diff) | |
Get all unnamed symbols with make DEBUG=1
Diffstat (limited to 'tools/unnamed.py')
| -rwxr-xr-x | tools/unnamed.py | 2 |
1 files changed, 1 insertions, 1 deletions
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() |