diff options
author | Bastien Nocera <hadess@hadess.net> | 2020-03-28 12:27:06 +0100 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2020-03-28 12:33:50 +0100 |
commit | 9030c21cf7e9ad6fc5dcd6a7666665049ad4159e (patch) | |
tree | 8c61f2141840cc7b002ad3209ce9a506318acc15 /po/update_translations.sh | |
parent | 61f4aa2818605eb8f9977684e2197a8079fdbc58 (diff) | |
download | shared-mime-info-9030c21cf7e9ad6fc5dcd6a7666665049ad4159e.tar.gz |
po: Add check to translations update script
Diffstat (limited to 'po/update_translations.sh')
-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 |