diff options
author | Hugo Hromic <[email protected]> | 2019-02-15 15:25:59 +0000 |
---|---|---|
committer | XECDesign <[email protected]> | 2019-02-18 09:21:10 +0000 |
commit | 9e6af470450abae0499acd521ab8bd40ba65c791 (patch) | |
tree | 387de61f39cf030e31e32be467fa35fa29bcc32c /build.sh | |
parent | 3b90b7ffed64802fdab9de096ded74dbcc909a90 (diff) |
Improve update_issue() function in common script
* Allow to customise pi-gen script name and repository in the generated issue file
* Preserve compatibility with existing function calls
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -137,6 +137,9 @@ do esac done +export PI_GEN=${PI_GEN:-pi-gen} +export PI_GEN_REPO=${PI_GEN_REPO:-https://github.com/RPi-Distro/pi-gen} + if [ -z "${IMG_NAME}" ]; then echo "IMG_NAME not set" 1>&2 exit 1 |