diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/rebuild_gettext_catalogs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/rebuild_gettext_catalogs.sh b/tools/rebuild_gettext_catalogs.sh index 4b689f29b..d3b264ae6 100755 --- a/tools/rebuild_gettext_catalogs.sh +++ b/tools/rebuild_gettext_catalogs.sh @@ -38,7 +38,7 @@ do errors[$php_source]=$php_error_level # if there are no real differences restore copy if [ -f "$path_and_filename.pot" ] && [ -f "$path_and_filename.copy" ]; then - diff --ignore-matching-lines='^"POT-Creation-Date:' --ignore-matching-lines='^# Copyright (C) 2014 - ' --ignore-matching-lines='^#: "/web/en/' $path_and_filename.pot $path_and_filename.copy + diff --ignore-matching-lines='^"POT-Creation-Date:' --ignore-matching-lines='^# Copyright (C) 2014 - ' --ignore-matching-lines='^#: "/web/' $path_and_filename.pot $path_and_filename.copy if [ $? -eq 0 ]; then cp $path_and_filename.copy $path_and_filename.pot fi @@ -52,7 +52,7 @@ do rm $path_and_filename.tmp fi if [ -f "$path_and_filename.copy" ] && [ -f "$path_and_filename.tmp" ]; then - diff --ignore-matching-lines='^"POT-Creation-Date:' --ignore-matching-lines='^# Copyright (C) 2014 - ' --ignore-matching-lines='^#: "/web/en/' $path_and_filename.tmp $path_and_filename.copy + diff --ignore-matching-lines='^"POT-Creation-Date:' --ignore-matching-lines='^# Copyright (C) 2014 - ' --ignore-matching-lines='^#: "/web/' $path_and_filename.tmp $path_and_filename.copy if [ $? -eq 1 ]; then # there are differences errors[$php_source]=0 mv $path_and_filename.tmp $path_and_filename.pot |