Skip to content

Commit

Permalink
ci: Check gerbv version for updates
Browse files Browse the repository at this point in the history
This way if the gerbv version updates, we'll fetch a new one even if
it is cached by CI.
  • Loading branch information
eyal0 committed Aug 31, 2021
1 parent 5459c29 commit a952752
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -198,10 +198,11 @@ jobs:
if command -v m4; then m4 --version; fi
- name: Install gerbv
run: |
if ! gerbv --version; then
if ! gerbv --version || ! test -f ${LOCAL_INSTALL_PATH}/bin/gerbv.version || ! grep -qx "$(git ls-remote https://github.com/eyal0/gerbv.git heads/master)" ${LOCAL_INSTALL_PATH}/bin/gerbv.version; then
git ls-remote https://github.com/eyal0/gerbv.git heads/master > ${LOCAL_INSTALL_PATH}/bin/gerbv.version
echo "UPDATE_CACHE=true" >> $GITHUB_ENV
pushd ~
git clone --depth=1 https://github.com/eyal0/gerbv.git
git clone --depth=1 --branch=master https://github.com/eyal0/gerbv.git
pushd gerbv
sh autogen.sh
./configure CPPFLAGS=$CPPFLAGS_gerbv --disable-update-desktop-database --prefix=${LOCAL_INSTALL_PATH}
Expand All @@ -213,8 +214,8 @@ jobs:
- name: Install valgrind
if: matrix.os == 'ubuntu'
run: |
if ! valgrind --version || ! grep -qx "$(git ls-remote https://github.com/eyal0/valgrind.git master)" ~/.local/bin/valgrind.version; then
git ls-remote https://github.com/eyal0/valgrind.git master > ~/.local/bin/valgrind.version
if ! valgrind --version || ! grep -qx "$(git ls-remote https://github.com/eyal0/valgrind.git master)" ${LOCAL_INSTALL_PATH}/bin/valgrind.version; then
git ls-remote https://github.com/eyal0/valgrind.git master > ${LOCAL_INSTALL_PATH}/bin/valgrind.version
echo "UPDATE_CACHE=true" >> $GITHUB_ENV
pushd ~
git clone --depth=1 --branch=master https://github.com/eyal0/valgrind.git
Expand Down

0 comments on commit a952752

Please sign in to comment.