mirror of
https://github.com/vortexgpgpu/vortex.git
synced 2025-04-23 21:39:10 -04:00
minor update
This commit is contained in:
parent
8d252bb6f8
commit
b02746fb0d
1 changed files with 4 additions and 4 deletions
|
@ -22,16 +22,16 @@ cache:
|
|||
- $HOME/build64
|
||||
|
||||
before_install:
|
||||
- if [ ! -d "$TOOLDIR" ] || [ -z "$(ls -A $TOOLDIR)" ] || [ "$(cat "$TOOLDIR/version.txt")" != "v1" ]; then
|
||||
- if [ ! -d "$TOOLDIR" ] || [ -z "$(ls -A $TOOLDIR)" ] || [ "$(cat "$TOOLDIR/version.txt")" != "v2" ]; then
|
||||
rm -rf $TOOLDIR;
|
||||
mkdir -p $TOOLDIR;
|
||||
OSDIR=ubuntu/focal ./ci/toolchain_install.sh --all;
|
||||
echo "v1" > "$TOOLDIR/version.txt";
|
||||
echo "v2" > "$TOOLDIR/version.txt";
|
||||
fi
|
||||
- if [ ! -d "$HOME/third_party" ] || [ -z "$(ls -A $HOME/third_party)" ] || [ "$(cat "$HOME/third_party/version.txt")" != "v0" ]; then
|
||||
- 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 "v0" > "$HOME/third_party/version.txt";
|
||||
echo "v2" > "$HOME/third_party/version.txt";
|
||||
else
|
||||
cp -r $HOME/third_party .
|
||||
fi
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue