only create src/OPALrevision.h if changed

6b76a5d6 · snuverink_j · 060cafb9 · 6b76a5d6
Commit 6b76a5d6 authored 4 years ago by snuverink_j
--- a/gen_OPALrevision
+++ b/gen_OPALrevision
@@ -4,7 +4,12 @@
 #

 print () {
-    echo '#define GIT_VERSION '\"$1\" > src/OPALrevision.h
+    echo '#define GIT_VERSION '\"$1\" > src/OPALrevision-new.h
+    if [[ -e  src/OPALrevision.h ]] && cmp -s src/OPALrevision.h src/OPALrevision-new.h; then
+        rm src/OPALrevision-new.h
+    else
+        mv src/OPALrevision-new.h src/OPALrevision.h
+    fi
 }

 # if git(1) is not in $PATH