]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/tutors/Makefile
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / tutors / Makefile
index f0044dfc6ace1b922dd646705538c605097b171c..9e84bf4e671bae3c96dd05705b5aaf1d7ee690e2 100644 (file)
@@ -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: