From 096412aa50a46d1c8318856203ff9a2a4077bac9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antoni=20=C5=BBewier=C5=BCejew?= Date: Wed, 12 Oct 2022 14:20:34 +0200 Subject: [PATCH] Fix rule to use boot context --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 9d633ce486d..88cb0a2ab61 100644 --- a/Makefile +++ b/Makefile @@ -361,8 +361,8 @@ promote: $(dune) promote $(ws_main) .PHONY: fmt -fmt: duneconf/main.ws - $(dune) build $(ws_main) @fmt --auto-promote +fmt: duneconf/boot.ws ocaml/dirs-to-ignore.inc + $(dune) build $(ws_boot) @fmt --auto-promote .PHONY: check-fmt check-fmt: