From 7bcc5819276304329ebf24efacc7ea247150b583 Mon Sep 17 00:00:00 2001 From: Anton Bachin <antonbachin@yahoo.com> Date: Wed, 14 Jun 2017 13:10:58 -0500 Subject: [PATCH] Build: remove topdirs.cmi warning suppression The new jbuilder build system, added in #374, does not emit warnings about duplicate topdirs.cmi files. --- Makefile | 4 ---- 1 file changed, 4 deletions(-) diff --git a/Makefile b/Makefile index 582d79a032..68369b68b6 100644 --- a/Makefile +++ b/Makefile @@ -5,10 +5,6 @@ # # Generic Makefile for oasis project -# Suppress duplicate topdirs.cmi warnings. -OCAMLFIND_IGNORE_DUPS_IN = $(shell ocamlfind query compiler-libs) -export OCAMLFIND_IGNORE_DUPS_IN - # Default rule default: build