From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 15 Jan 2003 12:16:17 +0000 (+0000)
Subject: changed default behavior of the "all:" target, now builds only bytecode
X-Git-Tag: v0_3_99~33
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=54bf1b633cd8d2876dc7162d77f9f5a93d327368;p=helm.git

changed default behavior of the "all:" target, now builds only bytecode
---

diff --git a/helm/uwobo/src/ocaml/Makefile b/helm/uwobo/src/ocaml/Makefile
index 4c5f463f9..27583699b 100644
--- a/helm/uwobo/src/ocaml/Makefile
+++ b/helm/uwobo/src/ocaml/Makefile
@@ -9,7 +9,7 @@ MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
 
-all: world
+all: byte
 byte: uwobo
 opt: uwobo.opt
 world: byte opt