diff options
author | Hisham Muhammad <hisham@gobolinux.org> | 2007-05-17 18:29:30 +0000 |
---|---|---|
committer | Hisham Muhammad <hisham@gobolinux.org> | 2007-05-17 18:29:30 +0000 |
commit | 9710a4300181927c6f4b9e34e23b1588dbb07f84 (patch) | |
tree | 4ce5bf5760aa061f93bce016a2938757ccbc4736 /scripts | |
parent | df20abfd672d033ac62c4d9245b8bb89fc76be94 (diff) |
Fixes for /proc location, submitted by Florent Thoumie
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/MakeHeader.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/MakeHeader.py b/scripts/MakeHeader.py index 9d78c487..dd9d99d1 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. */" ) |