From c71ba9cc41cc56c5d4347daabe0160978ac6ca1f Mon Sep 17 00:00:00 2001 From: "Vladimir N. Makarov" Date: Thu, 16 May 2024 13:14:45 -0400 Subject: [PATCH] Remove time in mir-bin-run-test. --- GNUmakefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/GNUmakefile b/GNUmakefile index d1dbe2d589..bdf9e8186a 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -560,9 +560,9 @@ clean-mir-gen-tests: mir-bin-run-test: $(BUILD_DIR)/mir-bin-run$(EXE) $(BUILD_DIR)/c2m$(EXE) $(BUILD_DIR)/c2m$(EXE) -c $(SRC_DIR)/sieve.c $(BUILD_DIR)/mir-bin-run$(EXE) `pwd`/sieve.bmir sieve.bmir - MIR_TYPE=interp time $(BUILD_DIR)/mir-bin-run$(EXE) `pwd`/sieve.bmir sieve.bmir - MIR_TYPE=gen time $(BUILD_DIR)/mir-bin-run$(EXE) `pwd`/sieve.bmir sieve.bmir - MIR_TYPE=lazy time $(BUILD_DIR)/mir-bin-run$(EXE) `pwd`/sieve.bmir sieve.bmir + MIR_TYPE=interp $(BUILD_DIR)/mir-bin-run$(EXE) `pwd`/sieve.bmir sieve.bmir + MIR_TYPE=gen $(BUILD_DIR)/mir-bin-run$(EXE) `pwd`/sieve.bmir sieve.bmir + MIR_TYPE=lazy $(BUILD_DIR)/mir-bin-run$(EXE) `pwd`/sieve.bmir sieve.bmir rm sieve.bmir