From c34681df42a8ffe93491ce710ca01a6151f11004 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A5ns=20Rullg=C3=A5rd?= <mans@mansr.com>
Date: Tue, 19 Jan 2010 04:40:08 +0000
Subject: configure: add cp_if_changed function and use for config.h

Originally committed as revision 21318 to svn://svn.ffmpeg.org/ffmpeg/trunk
---
 configure | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 78d2989dfa..b3170dd778 100755
--- a/configure
+++ b/configure
@@ -831,6 +831,12 @@ apply(){
     "$@" < "$file" > "$file.tmp" && mv "$file.tmp" "$file" || rm "$file.tmp"
 }
 
+cp_if_changed(){
+    cmp -s "$1" "$2" &&
+        echo "$2 is unchanged" ||
+        cp -f "$1" "$2"
+}
+
 # CONFIG_LIST contains configurable options, while HAVE_LIST is for
 # system-dependent things.
 
@@ -2909,9 +2915,7 @@ echo "#endif /* FFMPEG_CONFIG_H */" >> $TMPH
 echo "endif # FFMPEG_CONFIG_MAK" >> config.mak
 
 # Do not overwrite an unchanged config.h to avoid superfluous rebuilds.
-cmp -s $TMPH config.h &&
-    echo "config.h is unchanged" ||
-    mv -f $TMPH config.h
+cp_if_changed $TMPH config.h
 
 # build tree in object directory if source path is different from current one
 if enabled source_path_used; then
-- 
cgit v1.2.3