summaryrefslogtreecommitdiff
path: root/tools/beautify-archive
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <gareuselesinge@debian.org>2015-01-25 14:42:51 +0100
committerGravatar Enrico Tassi <gareuselesinge@debian.org>2015-01-25 14:42:51 +0100
commit7cfc4e5146be5666419451bdd516f1f3f264d24a (patch)
treee4197645da03dc3c7cc84e434cc31d0a0cca7056 /tools/beautify-archive
parent420f78b2caeaaddc6fe484565b2d0e49c66888e5 (diff)
Imported Upstream version 8.5~beta1+dfsg
Diffstat (limited to 'tools/beautify-archive')
-rwxr-xr-xtools/beautify-archive4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/beautify-archive b/tools/beautify-archive
index ccfeb3db..6bfa974a 100755
--- a/tools/beautify-archive
+++ b/tools/beautify-archive
@@ -30,7 +30,7 @@ beaufiles=`find . -name \*.v$BEAUTIFYSUFFIX`
for i in $beaufiles; do
j=`dirname $i`/`basename $i .v$BEAUTIFYSUFFIX`.v
echo Upgrading $j in the beautification directory
- mv -u -f $i $j
+ if [ $i -nt $j ]; then mv -f $i $j; fi
done
echo ---- Recompiling beautified files in the beautification directory -----
make clean
@@ -44,7 +44,7 @@ vfiles=`find . -name \*.v`
cd ..
for i in $vfiles; do
echo Upgrading $i in current directory
- mv -u -f $NEWARCHIVE/$i $i
+ if [ $NEWARCHIVE/$i -nt $i ]; then mv -f $NEWARCHIVE/$i $i; fi
done
echo -------- Beautification completed -------------------------------------
echo Old files are in directory '"'$OLDARCHIVE'"'