diff options
Diffstat (limited to 'gas')
-rw-r--r-- | gas/.Sanitize | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gas/.Sanitize b/gas/.Sanitize index 4760fad..c7c9f31 100644 --- a/gas/.Sanitize +++ b/gas/.Sanitize @@ -461,6 +461,7 @@ if [ -n "${safe}" -a ! -f po/.Recover/gas.pot ]; then fi mv po/gas.pot po/.Recover fi -xgettext `cat po/POTFILES.in` -o po/gas.pot +# If this fails, Sanitization must fail. +xgettext `cat po/POTFILES.in` -o po/gas.pot || exit 1 # eof |