Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 1c22b121 authored by Andrei Paskevich's avatar Andrei Paskevich

suppress some warnings for Ocaml 3.12

parent 7db98037
......@@ -75,8 +75,8 @@ RUBBER = @RUBBER@
BFLAGS = -w Ae -dtypes -g -I src $(INCLUDES)
OFLAGS = -w Ae -dtypes -I src $(INCLUDES)
BFLAGS = -w Aer-29 -dtypes -g -I src $(INCLUDES)
OFLAGS = -w Aer-29 -dtypes -I src $(INCLUDES)
ifeq (@enable_profiling@,yes)
OFLAGS += -g -p
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment