diff options
author | Patrick Höhn <hoehnp@gmx.de> | 2018-10-05 18:19:52 +0200 |
---|---|---|
committer | Patrick Höhn <hoehnp@gmx.de> | 2018-10-05 18:19:52 +0200 |
commit | 9452678aa2facfef903bae101830490205610de9 (patch) | |
tree | 7855407d623b8f62d4c111e771142c18b170dda4 | |
parent | 77c7789b667dd115bfb55e856b26501f0d83500d (diff) | |
download | navit-9452678aa2facfef903bae101830490205610de9.tar.gz |
try once again with bash
ändrad: build_sailfish_ci.sh
-rwxr-xr-x | contrib/sailfish/build_sailfish_ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/sailfish/build_sailfish_ci.sh b/contrib/sailfish/build_sailfish_ci.sh index 342b6cc1a..2432029f0 100755 --- a/contrib/sailfish/build_sailfish_ci.sh +++ b/contrib/sailfish/build_sailfish_ci.sh @@ -1,4 +1,4 @@ -#! /bin/sh +#! /bin/bash #run on the Sailfish OS sdk docker container. Check that rpmbuild directory exists. Remember to export VERSION_ID # please don't mess around with those lines without testing, # even if some fancy tool tells you to do so to save some pipes. |