diff options
| -rwxr-xr-x | po/update_translations.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/po/update_translations.sh b/po/update_translations.sh index 82ef917e..f6479bf6 100755 --- a/po/update_translations.sh +++ b/po/update_translations.sh @@ -7,6 +7,11 @@ if [ ! -f po/shared-mime-info.pot ] ; then exit 1 fi +if [ data/freedesktop.org.xml.in -nt po/shared-mime-info.pot ] ; then + echo "Please update “po/shared-mime-info.pot” before running this command" + exit 1 +fi + if [ ! -f .tx/config ] ; then echo "Please run this command from the root of the source directory" exit 1 |