diff options
author | Bartosz Fenski <fenio@debian.org> | 2007-09-15 14:37:41 +0200 |
---|---|---|
committer | Daniel Lange <DLange@git.local> | 2016-04-11 13:00:22 +0200 |
commit | 6e3bbb32d3cd1c09b0d1a79c433e0728a7ea44f4 (patch) | |
tree | 4e5660f891b09b7755a97a75edefdd167365e336 /scripts/MakeHeader.py | |
parent | 8ae888dfb193b86560b4d874767c347bf2be8097 (diff) | |
parent | 9675cf654d86464344e56705db7a71ea17f76c6f (diff) | |
download | debian_htop-6e3bbb32d3cd1c09b0d1a79c433e0728a7ea44f4.tar.gz debian_htop-6e3bbb32d3cd1c09b0d1a79c433e0728a7ea44f4.tar.bz2 debian_htop-6e3bbb32d3cd1c09b0d1a79c433e0728a7ea44f4.zip |
Imported Debian patch 0.6.6+svn20070915-1debian/0.6.6+svn20070915-1
Diffstat (limited to 'scripts/MakeHeader.py')
-rwxr-xr-x | scripts/MakeHeader.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/MakeHeader.py b/scripts/MakeHeader.py index 9d78c48..a84ae74 100755 --- a/scripts/MakeHeader.py +++ b/scripts/MakeHeader.py @@ -21,6 +21,8 @@ class writer: self.file.write(text + "\n") out = writer(out) +print("Generating "+name+".h") + selfheader = '#include "' + name + '.h"' out.write( "/* Do not edit this file. It was automatically generated. */" ) @@ -52,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 ) |