From 909b341e8a85507b68e7ac3d1f02f38e8fa7a645 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Mon, 25 Feb 2019 07:07:30 -0800 Subject: [PATCH] [sledge] Add missing `make test` dependency Reviewed By: mbouaziz Differential Revision: D14075518 fbshipit-source-id: 84599539f --- sledge/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sledge/Makefile b/sledge/Makefile index d7dcc6a57..93fcc6c44 100644 --- a/sledge/Makefile +++ b/sledge/Makefile @@ -39,7 +39,7 @@ watch: setup dune build --watch _build/dev/src/sledge.exe _build/release/src/sledge.exe .PHONY: test -test: +test: setup dune build @_build/dev/runtest --auto-promote BISECT_DIR=$(CURDIR)/_coverage/out