github-mirrors/vortex
1
0
Fork 0
mirror of https://github.com/vortexgpgpu/vortex.git synced 2025-04-23 21:39:10 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

minor update

Browse source
This commit is contained in:
Blaise Tine 2024-04-09 15:22:59 -07:00
parent e58c12fc02
commit 5231bb8576
1 changed files with 12 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

24
.travis.yml
View file

@ -22,20 +22,20 @@ cache:
- $HOME/build64
install:
- if [ ! -d "$TOOLDIR" ] || [ -z "$(ls -A $TOOLDIR)" ] || [ "$(cat "$TOOLDIR/version.txt")" != "v2" ]; then
rm -rf $TOOLDIR
mkdir -p $TOOLDIR
pushd $HOME/build$XLEN
./ci/toolchain_install.sh --all
popd
echo "v2" > "$TOOLDIR/version.txt"
- if [ ! -d "$TOOLDIR" ] || [ -z "$(ls -A $TOOLDIR)" ] || [ "$(cat "$TOOLDIR/version.txt")" != "v0" ]; then
rm -rf $TOOLDIR;
mkdir -p $TOOLDIR;
pushd $HOME/build$XLEN;
./ci/toolchain_install.sh --all;
popd;
echo "v0" > "$TOOLDIR/version.txt";
fi
- if [ ! -d "$HOME/third_party" ] || [ -z "$(ls -A $HOME/third_party)" ] || [ "$(cat "$HOME/third_party/version.txt")" != "v2" ]; then
make -C third_party > /dev/null
cp -r third_party $HOME
echo "v2" > "$HOME/third_party/version.txt"
- if [ ! -d "$HOME/third_party" ] || [ -z "$(ls -A $HOME/third_party)" ] || [ "$(cat "$HOME/third_party/version.txt")" != "v0" ]; then
make -C third_party > /dev/null;
cp -r third_party $HOME;
echo "v0" > "$HOME/third_party/version.txt";
else
cp -r $HOME/third_party .
cp -r $HOME/third_party .;
fi
before_script: