Skip to content
Permalink
Browse files

Makefile: fixed ci rule for windows

  • Loading branch information
sagotch committed Oct 26, 2019
1 parent b948896 commit 9160bf19af1b47879feb130b7e98487872eb2ce5
Showing with 1 addition and 1 deletion.
  1. +1 −1 Makefile
@@ -233,7 +233,7 @@ ci:
@./configure && BENCH_NAME=vanilla $(MAKE) -s clean test bench-marshal clean
@./configure --sosa-num && BENCH_NAME=num $(MAKE) -s clean test bench-marshal clean
@./configure --sosa-zarith && BENCH_NAME=zarith $(MAKE) -s clean test bench-marshal clean
ifneq ($(OS_TYPE),Win)
ifndef OS
@./configure --api && BENCH_NAME=api $(MAKE) -s clean bench-marshal test clean
endif
@$(MAKE) -s bench-tabulate

0 comments on commit 9160bf1

Please sign in to comment.
You can’t perform that action at this time.