diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-07 21:10:13 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-07 21:10:13 -0400 |
| commit | c7e3aed0b86b1a06151a38db914135255b760118 (patch) | |
| tree | d6ae1ca61cf06852132fdfb83209cd968c1f6974 /tools/unnamed.py | |
| parent | 9571c550b6a0dcb3a4f54513c881661a87271024 (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 560d8833..2e783fd7 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("pokered_obj := "): objects = line[15:].strip().split() |