Get all unnamed symbols with make DEBUG=1

This commit is contained in:
Rangi 2020-07-07 21:09:05 -04:00
parent 43a9295789
commit 9e4a00af45
2 changed files with 2 additions and 2 deletions

View File

@ -19,7 +19,7 @@ before_script:
fi; fi;
} }
script: script:
- make -j2 compare - make DEBUG=1 -j2 compare
- check_status - check_status
after_success: after_success:
- |- - |-

View File

@ -37,7 +37,7 @@ args = parser.parse_args()
# Get list of object files # Get list of object files
objects = None objects = None
if args.rootdir: 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"): stdout=PIPE).stdout.read().decode().split("\n"):
if line.startswith("crystal_obj := "): if line.startswith("crystal_obj := "):
objects = line[15:].strip().split() objects = line[15:].strip().split()