minor update

This commit is contained in:
Blaise Tine 2024-05-09 21:27:38 -07:00
parent 4bb31e63e2
commit aaba10a133

View file

@ -23,8 +23,8 @@ cache:
- $HOME/third_party
before_install:
- mkdir -p $HOME/build
- cd $HOME/build && TOOLDIR=$TOOLDIR XLEN=$XLEN ../configure
- mkdir -p build && cd build
- TOOLDIR=$TOOLDIR XLEN=$XLEN ../configure
install:
- if [ ! -d "$TOOLDIR" ] || [ -z "$(ls -A $TOOLDIR)" ] || [ "$(cat "$TOOLDIR/version.txt")" != "v0.2" ]; then
rm -rf $TOOLDIR;