X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2FMakefile;h=9e84bf4e671bae3c96dd05705b5aaf1d7ee690e2;hb=1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c;hp=f0044dfc6ace1b922dd646705538c605097b171c;hpb=d0f70560eab72844505087c43620edf19eba7412;p=helm.git

diff --git a/helm/hbugs/tutors/Makefile b/helm/hbugs/tutors/Makefile
index f0044dfc6..9e84bf4e6 100644
--- a/helm/hbugs/tutors/Makefile
+++ b/helm/hbugs/tutors/Makefile
@@ -27,8 +27,8 @@ DEPSOPT = $(shell $(OCAMLFIND) query -recursive -predicates native -format "%d/%
 
 all: byte
 world: byte opt
-byte: $(TUTORS)
-opt: $(TUTORS_OPT)
+byte: $(COMMON) $(TUTORS)
+opt: $(COMMON_OPT) $(TUTORS_OPT)
 start:
 	$(CTL) start
 stop: