diff options
| author | Sascha Schumann <sas@php.net> | 1999-06-01 17:53:15 +0000 |
|---|---|---|
| committer | Sascha Schumann <sas@php.net> | 1999-06-01 17:53:15 +0000 |
| commit | d57ffd3646d88d46f6b3a3ce7b43b130d493c760 (patch) | |
| tree | 73dcaaaff2f4a5c42b3e6047bdbaa83107a083c9 /scripts | |
| parent | 250d803c31ef575bea4f4fe274b937bfffb89625 (diff) | |
| download | php-git-d57ffd3646d88d46f6b3a3ce7b43b130d493c760.tar.gz | |
avoid touching libraries which have not changed
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 |