mirror of
https://github.com/pmret/papermario.git
synced 2024-11-08 12:02:30 +01:00
don't comment 'previous declaration of' warnings (#400)
This commit is contained in:
parent
0bdf15542e
commit
b535fd7238
@ -43,6 +43,9 @@ def main():
|
||||
with open(args.currentwarnings) as current:
|
||||
current = current.readlines()
|
||||
for newLine in new:
|
||||
if "warning: previous declaration of" in newLine:
|
||||
continue
|
||||
|
||||
if newLine not in current:
|
||||
if stderr:
|
||||
print(newLine.strip(), file=sys.stderr)
|
||||
|
Loading…
Reference in New Issue
Block a user