From 186b797da34e7b5bc959939a1cea6f7547a3c0e8 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Mon, 13 Aug 2018 07:03:20 -0700 Subject: [PATCH] Do not try to format deleted files Reviewed By: jvillard Differential Revision: D9295716 fbshipit-source-id: 6333d8e01 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index bb48f0f84..70afc2330 100644 --- a/Makefile +++ b/Makefile @@ -145,7 +145,7 @@ OCAMLFORMAT_EXE?=ocamlformat .PHONY: fmt fmt: - parallel $(OCAMLFORMAT_EXE) -i ::: $$(git diff --name-only $$(git merge-base origin/master HEAD) | grep "\.mli\?$$") + parallel $(OCAMLFORMAT_EXE) -i ::: $$(git diff --name-only --diff-filter=ACMRU $$(git merge-base origin/master HEAD) | grep "\.mli\?$$") DUNE_ML:=$(shell find * -name 'dune*.in' | grep -v workspace | grep -v sledge)