Commit c21bb8dc authored by Lasse Karstensen's avatar Lasse Karstensen

Output to the correct file name.

Last minute changes...
parent 0b1ff517
......@@ -967,7 +967,7 @@ def runmain(inputvcc, rstdir, outputprefix):
# Our makefile targets the .c file so make sure to put that in place last.
rename(fn_headerfile, outputprefix + ".h")
rename(fn_cfile, outputprefix + ".h")
rename(fn_cfile, outputprefix + ".c")
if __name__ == "__main__":
......
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