diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/debug-debug-scripts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/debug-debug-scripts b/tools/debug-debug-scripts index 7cb91d9..2112a6e 100755 --- a/tools/debug-debug-scripts +++ b/tools/debug-debug-scripts @@ -93,7 +93,7 @@ def main(args): newbase = basename.split('src/')[1].replace('/', '-') out = os.path.join(outdir, newbase + '.cpp') with protocol.OpenWrite(out) as w: - print('// %s.cpp - generated by' % newbase, __file__, file=w) + print('// %s.cpp - generated by %s from %s' % (newbase, __file__, a), file=w) print(copyright, file=w) print('#include <cstdio>', file=w) print('// just mention "fwd.hpp" and "../poison.hpp" to make formatter happy', file=w) |