build bytecode code by default

diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile
index 7d8ed641949d438ae1b8b7248305589ab13c9584..1fabc3ede7556d71ddf78845046c44d6b9d51912 100644 (file)
--- 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