Commit 7a2a9836 authored by Lasse Karstensen's avatar Lasse Karstensen

Output correct tool name.

And avoid hardcoding it, in case we change it in the future
some time.
parent 45ee24af
......@@ -39,6 +39,7 @@
import sys
import re
from os.path import basename
if len(sys.argv) == 2:
specfile = sys.argv[1]
......@@ -69,10 +70,10 @@ def file_header(fo):
fo.write("""/*
* NB: This file is machine generated, DO NOT EDIT!
*
* Edit vmod.vcc and run vmod.py instead
* Edit vmod.vcc and run %s instead
*/
""")
""" % basename(__file__))
#######################################################################
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment