diff options
Diffstat (limited to 'Documentation/make_POT.sh')
| -rwxr-xr-x | Documentation/make_POT.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/make_POT.sh b/Documentation/make_POT.sh index bbf465790..f8ba60f22 100755 --- a/Documentation/make_POT.sh +++ b/Documentation/make_POT.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/bash -e # # Author(s): Guillaume GARDET <guillaume.gardet@free.fr> # |