Build: remove topdirs.cmi warning suppression

The new jbuilder build system, added in #374, does not emit warnings about duplicate topdirs.cmi files.
ocsigen · Jun 14, 2017 · af0ae5b · af0ae5b
1 parent 6649ef6
commit af0ae5b
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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