minor update

This commit is contained in:
Blaise Tine 2024-05-09 13:23:49 -07:00
parent b9da621c09
commit ad5d82d430

View file

@ -45,16 +45,16 @@ jobs:
- cd $HOME/build32 && TOOLDIR=$TOOLDIR XLEN=32 $TRAVIS_BUILD_DIR/configure
- cd $HOME/build64 && TOOLDIR=$TOOLDIR XLEN=64 $TRAVIS_BUILD_DIR/configure
install:
- if [ ! -d "$TOOLDIR" ] || [ -z "$(ls -A $TOOLDIR)" ] || [ "$(cat "$TOOLDIR/version.txt")" != "v0.1" ]; then
- if [ ! -d "$TOOLDIR" ] || [ -z "$(ls -A $TOOLDIR)" ] || [ "$(cat "$TOOLDIR/version.txt")" != "v0.2" ]; then
rm -rf $TOOLDIR;
$HOME/build32/ci/toolchain_install.sh --all;
echo "v0.1" > "$TOOLDIR/version.txt";
echo "v0.2" > "$TOOLDIR/version.txt";
fi
- if [ ! -d "$HOME/third_party" ] || [ -z "$(ls -A $HOME/third_party)" ] || [ "$(cat "$HOME/third_party/version.txt")" != "v0.1" ]; then
- if [ ! -d "$HOME/third_party" ] || [ -z "$(ls -A $HOME/third_party)" ] || [ "$(cat "$HOME/third_party/version.txt")" != "v0.2" ]; then
cd $TRAVIS_BUILD_DIR;
make -C third_party > /dev/null;
cp -rf third_party $HOME;
echo "v0.1" > "$HOME/third_party/version.txt";
echo "v0.2" > "$HOME/third_party/version.txt";
else
cp -rf $HOME/third_party $TRAVIS_BUILD_DIR;
fi