diff options
author | Hisham Muhammad <hisham@gobolinux.org> | 2007-08-10 05:59:36 +0000 |
---|---|---|
committer | Hisham Muhammad <hisham@gobolinux.org> | 2007-08-10 05:59:36 +0000 |
commit | e685bdeea080160684faaf17169faac0e614dfc7 (patch) | |
tree | e913033ecda16bbee3fbc3f659e61e59806b1f1f /scripts | |
parent | 4c51ad0e3549a12215c98e8fa011557fc6889b65 (diff) |
Fix GCC 4.3 issues: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=416852
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 ) |