From 2fa0948e8dc2f19fbbcc852ea47562493a55144b Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 17 Mar 2020 09:06:03 -0700
Subject: [PATCH] [sledge] Only fmt one (dbg) context, and suppress diff output

Summary:
`dune build fmt` applies to all contexts, but we only need one, so
use `dune build @_build/dbg/fmt` instead. Also swallow stderr as it's
useless with `--auto-promote`.

Reviewed By: ngorogiannis

Differential Revision: D20482767

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

diff --git a/sledge/Makefile b/sledge/Makefile
index 47d9d8014..a53b0a994 100644
--- a/sledge/Makefile
+++ b/sledge/Makefile
@@ -55,7 +55,7 @@ watch:
 .PHONY: test
 test:
 	-dune build @_build/dbg/runtest --auto-promote
-	dune build @fmt --auto-promote
+	dune build @_build/dbg/fmt --auto-promote 2>/dev/null
 
 .PHONY: ci-test
 ci-test:
@@ -67,7 +67,7 @@ clean:
 
 .PHONY: fmt
 fmt:
-	dune build @fmt --auto-promote
+	dune build @_build/dbg/fmt --auto-promote 2>/dev/null
 	clang-format -i model/llair_intrinsics.h model/cxxabi.cpp
 	${MAKE} -C test fmt