diff options
-rwxr-xr-x | tools/make-dissector-reg | 5 | ||||
-rwxr-xr-x | tools/make-dissector-reg.py | 1 |
2 files changed, 5 insertions, 1 deletions
diff --git a/tools/make-dissector-reg b/tools/make-dissector-reg index de486de3e2..62bee69432 100755 --- a/tools/make-dissector-reg +++ b/tools/make-dissector-reg @@ -181,4 +181,7 @@ EOF echo " return $proto_regs + $handoff_regs;" >>${outfile}-tmp echo '}' >>${outfile}-tmp fi -mv ${outfile}-tmp ${outfile} + +# Only overwrite outfile if it differs from newly generated file +diff ${outfile}-tmp ${outfile} >/dev/null || mv ${outfile}-tmp ${outfile} + diff --git a/tools/make-dissector-reg.py b/tools/make-dissector-reg.py index 531a63ddbe..b20e052f5d 100755 --- a/tools/make-dissector-reg.py +++ b/tools/make-dissector-reg.py @@ -302,4 +302,5 @@ except OSError: pass # Move from tmp file to final file +# FIXME: only overwrite final_filename if it differes from tmp_filename os.rename(tmp_filename, final_filename) |