flambda-backend: To upstream: use nolabels attribute instead of -nolabels for otherlibs/unix/

mshinwell · poechsel · commit 65032b10712b · 2021-06-25T16:18:47.000+01:00
diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile
@@ -17,8 +17,6 @@
 
 LIBNAME=unix
 
-EXTRACAMLFLAGS=-nolabels
-
 unixLabels.cmi: \
   EXTRACAMLFLAGS += -pp "$(AWK) -f $(ROOTDIR)/stdlib/expand_module_aliases.awk"
 
diff --git a/otherlibs/unix/unixLabels.ml b/otherlibs/unix/unixLabels.ml
@@ -15,4 +15,6 @@
 
 (* Module [UnixLabels]: labelled Unix module *)
 
+[@@@ocaml.nolabels]
+
 include Unix
