From bf7ce6f117c69dfdadf65178ed4f9d0d18aae6cf Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 26 Apr 2019 12:02:33 -0700
Subject: [PATCH] [sledge] Revert "Do not auto-promote test results"

Summary:
This reverts commit e4f7a0dc8d439561a0be7e8b33ad924195a6c441.

No longer needed due to ocamlformat fix.

Reviewed By: mbouaziz

Differential Revision: D15098826

fbshipit-source-id: 2a4dc0f55
---
 sledge/Makefile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/sledge/Makefile b/sledge/Makefile
index 011c932ed..93fcc6c44 100644
--- a/sledge/Makefile
+++ b/sledge/Makefile
@@ -40,10 +40,6 @@ watch: setup
 
 .PHONY: test
 test: setup
-	dune build @_build/dev/runtest
-
-.PHONY: promote
-promote: setup
 	dune build @_build/dev/runtest --auto-promote
 
 BISECT_DIR=$(CURDIR)/_coverage/out