fix makefile to work with traceflags.py change
--HG-- extra : convert_revision : 4aef47dc721684a786034aa85aea0c81822ec2eb
This commit is contained in:
parent
f1d268e99f
commit
a55cb1d28b