diff --git a/scripts/test.sh b/scripts/test.sh index 301c3148e..25eca29f0 100755 --- a/scripts/test.sh +++ b/scripts/test.sh @@ -20,7 +20,7 @@ build_botan() git clone https://github.com/randombit/botan.git $BOTAN_DIR && cd $BOTAN_DIR && - git checkout $BOTAN_REV && + git checkout -qf $BOTAN_REV && python ./configure.py --amalgamation $BOTAN_CONFIG && make -j4 libs >/dev/null && sudo make install >/dev/null &&