]> AND Private Git Repository - loba.git/blobdiff - Makefile
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Update METRICS.
[loba.git] / Makefile
index 5b0d491b840b1293a4a0501b44d0bf4d0539a6b7..59afd305661ef32ebad623058992b63083ef433e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -60,7 +60,7 @@ full:
                echo $(MAKE) "$$target";        \
                $(MAKE) "$$target";             \
        done
                echo $(MAKE) "$$target";        \
                $(MAKE) "$$target";             \
        done
-       $(MAKE) xml $(DEFAULT_TARGETS)
+       $(MAKE) $(DEFAULT_TARGETS)
 
 clean:
        $(RM) core core.[0-9]* vgcore.[0-9]*
 
 clean:
        $(RM) core core.[0-9]* vgcore.[0-9]*
@@ -71,7 +71,6 @@ clean:
 
 realclean: clean
        $(RM) $(FLAVOURED_LOBA)
 
 realclean: clean
        $(RM) $(FLAVOURED_LOBA)
-       $(RM) $(XML_DEV_FILES)
        $(RM) *~
 
 .%.d: %.c ; $(MAKEDEPEND.C)
        $(RM) *~
 
 .%.d: %.c ; $(MAKEDEPEND.C)