diff options
| author | Brian Paul <brianp@vmware.com> | 2009-05-21 16:57:28 -0600 |
|---|---|---|
| committer | Brian Paul <brianp@vmware.com> | 2009-05-21 16:57:28 -0600 |
| commit | 7e2fb129816df48a103da3e4e6937530bd86cac8 (patch) | |
| tree | 3692e601095314b5742239206c6d7656cfa8e5b9 /bin/minstall | |
| parent | 54a5ffbfa1f935c46642a9835f08983cc1fdfeed (diff) | |
| parent | 8da09e6924ca22ba7951d5a7673dfab2a711a997 (diff) | |
Merge branch 'mesa_7_5_branch'
Diffstat (limited to 'bin/minstall')
| -rwxr-xr-x | bin/minstall | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/bin/minstall b/bin/minstall index 8ee96089fa..130025829b 100755 --- a/bin/minstall +++ b/bin/minstall @@ -66,8 +66,11 @@ if [ $# -ge 2 ] ; then elif [ -f "$FILE" ] ; then #echo "$FILE" is a regular file - $RM "$DEST/`basename $FILE`" - cp "$FILE" "$DEST" + # Only copy if the files differ + if ! cmp -s $FILE $DEST/`basename $FILE`; then + $RM "$DEST/`basename $FILE`" + cp "$FILE" "$DEST" + fi if [ $MODE ] ; then FILE=`basename "$FILE"` chmod $MODE "$DEST/$FILE" |