diff options
| author | Frans Pop <elendil@planet.nl> | 2005-12-03 10:40:18 +0000 |
|---|---|---|
| committer | Frans Pop <elendil@planet.nl> | 2005-12-03 10:40:18 +0000 |
| commit | d42e65b09294b41c8e75b4d4de02aad5ec1ac02f (patch) | |
| tree | 2aee9c9ee0cfdb1ebd07b420f8691cca1a344bcf /scripts | |
| parent | a8c825ebca4a3ac27c962121eeb5ba75091c2c7f (diff) | |
| download | installation-guide-d42e65b09294b41c8e75b4d4de02aad5ec1ac02f.zip | |
Allow for changes involving only deleted lines
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_pot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/update_pot b/scripts/update_pot index c3b1b1095..f1d0417e4 100755 --- a/scripts/update_pot +++ b/scripts/update_pot @@ -44,7 +44,7 @@ for XML in `find $SOURCEDIR -name "*.xml"` ; do fi # Revert changes if the only thing changed is the POT-Creation-Date - if diff $PODIR/pot/$POT $PODIR/pot/$POT.new | grep "^>" | grep -qv "POT-Creation-Date: " ; then + if diff $PODIR/pot/$POT $PODIR/pot/$POT.new | grep "^[><]" | grep -qv "POT-Creation-Date: " ; then mv $PODIR/pot/$POT.new $PODIR/pot/$POT else rm $PODIR/pot/$POT.new |