From 0bc1d5f7eb6c9ba8603c59a4d671d4b186e48508 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 16 Oct 2007 11:57:51 +0000 Subject: [PATCH] fixed make opt --- components/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/Makefile b/components/Makefile index 6e483a972..d30e63dcd 100644 --- a/components/Makefile +++ b/components/Makefile @@ -43,7 +43,7 @@ ifeq ($(DISTRIBUTED),no) endif all: metas $(MODULES:%=rec@all@%) -opt: metas $(MODULES:%=rec@opt@%) +opt: metas syntax-extensions $(MODULES:%=rec@opt@%) ifeq ($(HAVE_OCAMLOPT),yes) world: opt -- 2.39.2