Created attachment 274193 [details] [diff] [review] v1 In debug mode, it runs js/tamarin/configure.py without options, then explicitly passes ENABLE_DEBUG to make. <jorendorff> bsmedberg: I have a question about tamarin/configure.py <jorendorff> bsmedberg: Right now Makefile.ref is calling it without options, even in debug mode. <jorendorff> bsmedberg: It would be better to run it with --enable-debug, right? <bsmedberg> I would think so, yes
Attachment #274193 - Flags: review?(benjamin)
Status: ASSIGNED → RESOLVED
Last Resolved: 11 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.