X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/l4/pkg/ocaml/build/asmrun/Makefile

diff --git a/l4/pkg/ocaml/build/asmrun/Makefile b/l4/pkg/ocaml/build/asmrun/Makefile
index 8cb5fb87c..185019dff 100644
--- a/l4/pkg/ocaml/build/asmrun/Makefile
+++ b/l4/pkg/ocaml/build/asmrun/Makefile
@@ -4,7 +4,6 @@ L4DIR   ?= $(PKGDIR)/../..
 # no .so as amd64.S doesn't seem to like it
 TARGET      = libocaml_asmrun.a
 PC_FILENAME = libocaml_asmrun
-L4_MULTITHREADED = y
 
 CONTRIBDIR = $(PKGDIR)/contrib