X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FMakefile;h=1fabc3ede7556d71ddf78845046c44d6b9d51912;hb=a1e60521d58ed2a10e66539ee3bbc3392ddf41b2;hp=7d8ed641949d438ae1b8b7248305589ab13c9584;hpb=a3ba27eb57f505d2e9cc460c9e4d1e3b79ffdcef;p=helm.git

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