commit 00efa5038531ea0373f357e8d3c2d3eaba02032f
parent a35803d5024131770cf3d55f30b0dfe88446f87f
Author: Benno Schulenberg <bensberg@justemail.net>
Date: Sat, 15 Oct 2016 15:08:14 +0200
build: avoid updated PO files being remerged upon every make
Diffstat:
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/po/update_linguas.sh b/po/update_linguas.sh
@@ -18,6 +18,9 @@ fi
echo "Regenerating POT file and remerging and recompiling PO files..."
make update-po
+# Ensure that the PO files are newer than the POT.
+touch *.po
+
# If needed, fix a problem in the Makefile template.
grep -q '^datarootdir' Makefile.in.in || \
sed -i 's/^\(datadir.*\)/datarootdir = @datarootdir@\n\1/' Makefile.in.in