diff options
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() |