diff options
| -rwxr-xr-x | utils/update-mojo.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/update-mojo.sh b/utils/update-mojo.sh index 967d139a..831f5ab8 100755 --- a/utils/update-mojo.sh +++ b/utils/update-mojo.sh @@ -3,6 +3,8 @@ # SPDX-License-Identifier: GPL-2.0-or-later # Update mojo copy from a chromium source tree +set -e + if [ $# != 1 ] ; then echo "Usage: $0 <chromium dir>" exit 1 |