File tree Expand file tree Collapse file tree 2 files changed +6
-6
lines changed Expand file tree Collapse file tree 2 files changed +6
-6
lines changed Original file line number Diff line number Diff line change 2727 cat scripts/kirby.raw
2828 - name : make test
2929 run : |
30- make test_ga || (cat scripts/weeping.raw ; exit 1)
30+ make test || (cat scripts/weeping.raw ; exit 1)
3131 cat scripts/kirby.raw
3232
3333 coding-style :
Original file line number Diff line number Diff line change @@ -58,11 +58,11 @@ check: qtest
5858
5959test : qtest scripts/driver.py
6060 $(Q ) scripts/check-repo.sh
61- scripts/driver.py -c
62-
63- test_ga : qtest scripts/driver.py
64- $( Q ) scripts/check-repo.sh
65- scripts/driver.py -c --group-output
61+ $( Q ) if [ -n " $$ GITHUB_ACTIONS " ] ; then \
62+ scripts/driver.py -c --group-output ; \
63+ else \
64+ scripts/driver.py -c ; \
65+ fi
6666
6767valgrind_existence :
6868 @which valgrind 2>&1 > /dev/null || (echo " FATAL: valgrind not found" ; exit 1)
You can’t perform that action at this time.
0 commit comments