diff options
author | Patrick Höhn <hoehnp@gmx.de> | 2018-10-05 18:00:39 +0200 |
---|---|---|
committer | Patrick Höhn <hoehnp@gmx.de> | 2018-10-05 18:00:39 +0200 |
commit | 77c7789b667dd115bfb55e856b26501f0d83500d (patch) | |
tree | 9e6d827c0fd7512f3379b1c8d9dc721dd9193b57 | |
parent | 0cff782503f722e02edeca09e3fc62356a1ea949 (diff) | |
download | navit-77c7789b667dd115bfb55e856b26501f0d83500d.tar.gz |
added comment to build_sailfish_ci.sh
ändrad: build_sailfish_ci.sh
-rwxr-xr-x | contrib/sailfish/build_sailfish_ci.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/sailfish/build_sailfish_ci.sh b/contrib/sailfish/build_sailfish_ci.sh index 0281ba9eb..342b6cc1a 100755 --- a/contrib/sailfish/build_sailfish_ci.sh +++ b/contrib/sailfish/build_sailfish_ci.sh @@ -1,5 +1,8 @@ #! /bin/sh #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. +# -hoehnp- if [ -z ${VERSION_ID+x} ]; then echo "VERSION_ID not set. Forgot to export VERSION_ID?"; exit 1; fi |