diff update-subdirs @ 95369:d147ddeb05f9

Don't touch subdirs.el if it is unchanged.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 28 May 2008 17:39:56 +0000
parents 1a762a842f80
children 80b866cd08a3
line wrap: on
line diff
--- a/update-subdirs	Wed May 28 17:37:04 2008 +0000
+++ b/update-subdirs	Wed May 28 17:39:56 2008 +0000
@@ -45,7 +45,11 @@
 ;; version-control: never
 ;; no-byte-compile: t
 ;; End:" > subdirs.el~
+  if cmp "subdirs.el" "subdirs.el~" >/dev/null 2>&1; then
+    :; # echo "subdirs.el unchanged";
+  else
   mv subdirs.el~ subdirs.el
+  fi
 fi
 
 # arch-tag: 56ebcf1b-5c30-4934-b0b4-72d374064704