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 | |
| parent | 9571c550b6a0dcb3a4f54513c881661a87271024 (diff) | |
Get all unnamed symbols with make DEBUG=1
| -rw-r--r-- | .travis.yml | 2 | ||||
| -rwxr-xr-x | tools/unnamed.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 04fe1de0..f3dd29a9 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 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() |