File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -58,14 +58,14 @@ GIT_REV := $(shell git rev-parse HEAD)
5858ifeq ($(shell git status --porcelain --untracked-files=no) ,)
5959 GIT_DIRTY_TRACKED :=
6060else
61- GIT_DIRTY_TRACKED := -dirty
61+ GIT_DIRTY_TRACKED := -$(shell git stash create)
6262endif
6363
64- # # In some cases it's useful to keep logs.
64+ # # In some cases it's useful to generate logs.
6565LOG_VERBOSITY ?= 0
66-
66+ SEED ?= 0
6767TAGGED_SIM_DATA = $(basename $@ ) -$(GIT_REV )$(GIT_DIRTY_TRACKED ) .json
68- SHORT_LEIOS = cabal run ols -- sim --output-seconds="$(SIM_SECONDS ) " --output-file="$(TAGGED_SIM_DATA ) " short-leios --log-verbosity="$(LOG_VERBOSITY ) "
68+ SHORT_LEIOS = cabal run ols -- sim --output-seconds="$(SIM_SECONDS ) " --output-file="$(TAGGED_SIM_DATA ) " short-leios --seed $( SEED ) -- log-verbosity="$(LOG_VERBOSITY ) "
6969
7070% /sim-data.json : % /config.yaml % /topology.yaml
7171 $(SHORT_LEIOS ) -l " $( word 1, $^) " -t " $( word 2, $^) " +RTS -s
You can’t perform that action at this time.
0 commit comments