Commit 8a622fa0 authored by Lasse Karstensen's avatar Lasse Karstensen

Output to the correct file name.

Last minute changes...
parent 6693cfc5
......@@ -962,7 +962,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