|
@@ -20,13 +20,13 @@ fi
|
|
|
|
|
|
# See if we need to clone those other two repos
|
|
|
if [ -d floram-docker/.git ]; then
|
|
|
- ( cd floram-docker && git fetch --tags origin && git checkout $tag ) || exit 1
|
|
|
+ ( cd floram-docker && git fetch --tags -f origin && git checkout $tag ) || exit 1
|
|
|
else
|
|
|
( git clone https://git-crysp.uwaterloo.ca/iang/floram-docker && cd floram-docker && git checkout $tag ) || exit 1
|
|
|
fi
|
|
|
|
|
|
if [ -d circuit-oram-docker/.git ]; then
|
|
|
- ( cd circuit-oram-docker && git fetch --tags origin && git checkout $tag ) || exit 1
|
|
|
+ ( cd circuit-oram-docker && git fetch --tags -f origin && git checkout $tag ) || exit 1
|
|
|
else
|
|
|
( git clone https://git-crysp.uwaterloo.ca/iang/circuit-oram-docker && cd circuit-oram-docker && git checkout $tag ) || exit 1
|
|
|
fi
|