diff options
Diffstat (limited to 'tools/scripts/addheader.py')
| -rw-r--r-- | tools/scripts/addheader.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/scripts/addheader.py b/tools/scripts/addheader.py index 573d5182f5..7838e16ae0 100644 --- a/tools/scripts/addheader.py +++ b/tools/scripts/addheader.py @@ -56,7 +56,6 @@ while (fname != ""): else: text = header.replace("$filename", fsingle) - while (l != ""): if ((l.find("//") != 0 and l.find("/*") != 0 and l.strip() != "") or bc): text += l @@ -69,4 +68,3 @@ while (fname != ""): fr.close() # print(text) fname = f.readline() - |