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 27
27
cat scripts/kirby.raw
28
28
- name : make test
29
29
run : |
30
- make test_ga || (cat scripts/weeping.raw ; exit 1)
30
+ make test || (cat scripts/weeping.raw ; exit 1)
31
31
cat scripts/kirby.raw
32
32
33
33
coding-style :
Original file line number Diff line number Diff line change @@ -58,11 +58,11 @@ check: qtest
58
58
59
59
test : qtest scripts/driver.py
60
60
$(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
66
66
67
67
valgrind_existence :
68
68
@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