From a1e60521d58ed2a10e66539ee3bbc3392ddf41b2 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 20 Feb 2003 17:38:09 +0000 Subject: [PATCH] build bytecode code by default --- helm/searchEngine/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile index 7d8ed6419..1fabc3ede 100644 --- a/helm/searchEngine/Makefile +++ b/helm/searchEngine/Makefile @@ -12,7 +12,7 @@ CMXS = $(patsubst %,%.cmx,$(MODULES)) LIBRARIES = $(patsubst %,../gTopLevel/%.cmo,$(GTOPLEVEL_MODULES)) LIBRARIES_OPT = $(patsubst %,../gTopLevel/%.cmx,$(GTOPLEVEL_MODULES)) -all: opt +all: byte world: byte opt byte: searchEngine opt: searchEngine.opt -- 2.39.2