1 diff -rupN metis/Makefile metis_new/Makefile
2 --- metis/Makefile 2013-03-30 17:24:45.000000000 +0100
3 +++ metis_new/Makefile 2016-07-06 15:33:42.959903471 +0200
4 @@ -62,7 +62,7 @@ endef
7 @if [ ! -f $(BUILDDIR)/Makefile ]; then \
11 make -C $(BUILDDIR) $@ $(MAKEFLAGS); \