diff options
author | Joseph Herlant <aerostitch@users.noreply.github.com> | 2018-06-04 12:24:06 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-04 12:24:06 -0700 |
commit | 8c2cda867d56ef4c5c965eab48668fb9acac0ac5 (patch) | |
tree | dab020c74cf5388f21b4f63f53fed02ce39a1664 | |
parent | 59521fb6a7c7c381e80b94f9387840ef5d0ee0c9 (diff) | |
download | navit-8c2cda867d56ef4c5c965eab48668fb9acac0ac5.tar.gz |
update:scripts:change the scripts that use non-POSIX functionnalities to bash v2 (#618)
-rw-r--r-- | scripts/build_win32.sh | 2 | ||||
-rw-r--r-- | scripts/publish.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build_win32.sh b/scripts/build_win32.sh index 26315ccd6..b9ba8d30a 100644 --- a/scripts/build_win32.sh +++ b/scripts/build_win32.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -e apt-get update && apt-get install -y mingw32 mingw32-binutils mingw32-runtime default-jdk nsis libsaxonb-java diff --git a/scripts/publish.sh b/scripts/publish.sh index 17b5fbf18..8b564eaa8 100644 --- a/scripts/publish.sh +++ b/scripts/publish.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash if [ -z $CI ];then echo "This Script needs to be run by CI" |