From 3a88c57442c0c9a5e23a25d04e3695d6e61587c3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 23 Sep 2020 11:12:44 +0200
Subject: Remove the linter ocamlformat pass.

---
 dev/lint-repository.sh | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'dev')

diff --git a/dev/lint-repository.sh b/dev/lint-repository.sh
index 553696410c..2e8a7455de 100755
--- a/dev/lint-repository.sh
+++ b/dev/lint-repository.sh
@@ -32,7 +32,4 @@ find . "(" -path ./.git -prune ")" -o -type f -print0 |
 echo Checking overlays
 dev/tools/check-overlays.sh || CODE=1
 
-echo Checking ocamlformat
-make -f Makefile.dune fmt || CODE=1
-
 exit $CODE
-- 
cgit v1.2.3