mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Parameterize time
command for make test
This commit is contained in:
parent
706e8e2b7f
commit
6a268930c8
3
Makefile
3
Makefile
@ -5,6 +5,7 @@ ARCH := $(shell uname -m)
|
||||
|
||||
TESTS ?= modsys parser issues regression renamer mono-binds
|
||||
DIFF ?= meld
|
||||
TIME ?= time
|
||||
|
||||
IGNORE_EXPECTED ?= --ignore-expected
|
||||
|
||||
@ -245,7 +246,7 @@ ${CS_BIN}/cryptol-test-runner: \
|
||||
test: ${CS_BIN}/cryptol-test-runner
|
||||
( cd tests && \
|
||||
echo "Testing on $(UNAME)-$(ARCH)" && \
|
||||
time $(realpath $(CS_BIN)/cryptol-test-runner) \
|
||||
${TIME} $(realpath $(CS_BIN)/cryptol-test-runner) \
|
||||
$(TESTS) \
|
||||
--exe $(call adjust-path,${CURDIR}/${PKG_BIN}/cryptol${EXE_EXT}) \
|
||||
-r output \
|
||||
|
Loading…
Reference in New Issue
Block a user