Skip to content

Commit 1f8147f

Browse files
authored
Update instead-em-build.sh
1 parent e155018 commit 1f8147f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

contrib/instead-em-build.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -183,6 +183,7 @@ echo "INSTEAD"
183183
cd $WORKSPACE
184184
[ -d instead-em ] || git clone https://github.com/instead-hub/instead.git instead-em
185185
cd instead-em
186+
git checkout .
186187
git pull
187188
[ -e Rules.make ] || ln -s Rules.standalone Rules.make
188189
cat <<EOF > config.make

0 commit comments

Comments
 (0)