Makefile un-derp'ing
This commit is contained in:
parent
a5dc72834f
commit
a81552ed82
1 changed files with 12 additions and 7 deletions
|
@ -27,12 +27,17 @@ pulse: compile
|
||||||
|
|
||||||
CONC_ARGS = --pz ./.eunit --treat_as_normal shutdown --after_timeout 1000
|
CONC_ARGS = --pz ./.eunit --treat_as_normal shutdown --after_timeout 1000
|
||||||
|
|
||||||
concuerror: deps compile eunit
|
concuerror: deps compile
|
||||||
$(REBAR_BIN) -v skip_deps=true eunit suites=do_not_exist
|
$(REBAR_BIN) -v skip_deps=true eunit suites=do_not_exist
|
||||||
concuerror -m machi_flu0_test -t concuerror1_test $(CONC_ARGS) && \
|
@echo "We recommend not running this test on battery power."
|
||||||
concuerror -m machi_flu0_test -t concuerror2_test $(CONC_ARGS) && \
|
@echo "Get yourself some coffee, here goes......"
|
||||||
concuerror -m machi_flu0_test -t concuerror3_test $(CONC_ARGS) && \
|
concuerror -m machi_flu0_test -t concuerror1_test $(CONC_ARGS)
|
||||||
concuerror -m machi_flu0_test -t concuerror4_test $(CONC_ARGS) && \
|
concuerror -m machi_flu0_test -t concuerror2_test $(CONC_ARGS)
|
||||||
concuerror -m machi_flu0_test -t proj_store_test $(CONC_ARGS) && \
|
concuerror -m machi_flu0_test -t concuerror3_test $(CONC_ARGS)
|
||||||
concuerror -m machi_flu0_test -t wedge_test $(CONC_ARGS) && \
|
@echo ""
|
||||||
|
@echo "Expect about 31K interleavings for the next test."
|
||||||
|
@echo ""
|
||||||
|
concuerror -m machi_flu0_test -t concuerror4_test $(CONC_ARGS)
|
||||||
|
concuerror -m machi_flu0_test -t proj_store_test $(CONC_ARGS)
|
||||||
|
concuerror -m machi_flu0_test -t wedge_test $(CONC_ARGS)
|
||||||
concuerror -m machi_flu0_test -t proj0_test $(CONC_ARGS)
|
concuerror -m machi_flu0_test -t proj0_test $(CONC_ARGS)
|
||||||
|
|
Loading…
Reference in a new issue