diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/MakeHeader.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/MakeHeader.py b/scripts/MakeHeader.py index dd9d99d1..a84ae74b 100755 --- a/scripts/MakeHeader.py +++ b/scripts/MakeHeader.py @@ -54,7 +54,7 @@ for line in file.readlines(): elif equals != -1: out.write("extern " + line[:equals] + ";" ) elif line[-1] == "{": - out.write( line[:-2] + ";" ) + out.write( line[:-2].replace("inline", "extern") + ";" ) state = SKIP else: out.write( line ) |