Skip to content

Commit

Permalink
style: combining args.diff with has_changed_symbols check when return…
Browse files Browse the repository at this point in the history
…ing exit(1)

Co-authored-by: Michał Sawicz <[email protected]>
  • Loading branch information
mattkae and Saviq authored Apr 19, 2024
1 parent 0ab1bdb commit 0fcd40b
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions tools/symbols_map_generator/main.py
Original file line number Diff line number Diff line change
Expand Up @@ -479,10 +479,8 @@ def main():

f.write(output_str)

if has_changed_symbols:
if args.diff and has_changed_symbols:
exit(1)
else:
exit(0)



Expand Down

0 comments on commit 0fcd40b

Please sign in to comment.