From c171871aea5e2c6947471f44a3aec73b042038c1 Mon Sep 17 00:00:00 2001 From: filip Date: Sun, 26 Mar 2017 22:02:40 +0200 Subject: deduplicate diff output --- tools/rebuild_gettext_catalogs.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tools') diff --git a/tools/rebuild_gettext_catalogs.sh b/tools/rebuild_gettext_catalogs.sh index d3b264ae6..cc2cf77c1 100755 --- a/tools/rebuild_gettext_catalogs.sh +++ b/tools/rebuild_gettext_catalogs.sh @@ -1,8 +1,8 @@ #!/bin/bash -# Filip Komar, 2014 +# Filip Komar, 2014 - 2017 # @license GPL v2 # @author Filip (rebuilding a gettext dictionaries) -# @copyright 2014/03 +# @copyright 2014 - 2017 # inspired by check_for_translation_work.sh error=0 @@ -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/' $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 > /dev/null if [ $? -eq 0 ]; then cp $path_and_filename.copy $path_and_filename.pot fi -- cgit v1.2.1