diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/armerge | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/armerge b/scripts/armerge index 48352e43bd..eb8bac5fdf 100755 --- a/scripts/armerge +++ b/scripts/armerge @@ -78,6 +78,6 @@ for archive in $in_archives; do ar r out.a $ext_files done ) -mv $tmpdir/out.a $out_archive || die "can not create $out_archive" +cmp $tmpdir/out.a $out_archive >/dev/null 2>&1 || mv $tmpdir/out.a $out_archive || die "can not create $out_archive" rm -rf $tmpdir |