minor update

This commit is contained in:
Blaise Tine 2024-05-09 22:51:07 -07:00
parent 599edfbbeb
commit df95c7c4c6

View file

@ -23,7 +23,7 @@ cache:
- $HOME/third_party
before_install:
- cd $TRAVIS_BUILD_DIR/build
- 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