mirror of https://gerrit.osmocom.org/osmo-ci
repo-install-test: fix check for Release.key
$release_key is not defined, replace it with the path. Change-Id: I6bd13cc6149db1f2ba25ef1ee343115d3c53cf3b
This commit is contained in:
parent
aae43b731f
commit
ed2d877bc6
|
@ -105,7 +105,7 @@ configure_osmocom_repo_debian() {
|
||||||
echo "Configuring Osmocom repository"
|
echo "Configuring Osmocom repository"
|
||||||
|
|
||||||
# Add repository key
|
# Add repository key
|
||||||
if ! [ -e "$release_key" ]; then
|
if ! [ -e /tmp/Release.key ]; then
|
||||||
wget -O /tmp/Release.key "https://obs.osmocom.org/projects/$proj/public_key"
|
wget -O /tmp/Release.key "https://obs.osmocom.org/projects/$proj/public_key"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue