diff options
author | Samuel Thibault <sthibault@debian.org> | 2014-09-15 13:05:07 +0000 |
---|---|---|
committer | Samuel Thibault <sthibault@debian.org> | 2014-09-15 13:05:07 +0000 |
commit | 1a86be34ac9918bfa9dd209293edbe8cfae5c371 (patch) | |
tree | 4738bd469733e721a8ccce7afc0a4dd46c99f972 /build/build.sh | |
parent | c52c5236d45828559453863ba2a72d94d8b68d55 (diff) | |
download | installation-guide-1a86be34ac9918bfa9dd209293edbe8cfae5c371.zip |
Fix build with sh=dash
Diffstat (limited to 'build/build.sh')
-rwxr-xr-x | build/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.sh b/build/build.sh index 717dc3dc7..48f50c622 100755 --- a/build/build.sh +++ b/build/build.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -e |