products/patches/metis-use_cat_not_more.patch

   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
   5
   6  all clean install:
   7         @if [ ! -f $(BUILDDIR)/Makefile ]; then \
   8 -               more BUILD.txt; \
   9 +               cat BUILD.txt; \
  10         else \
  11                 make -C $(BUILDDIR) $@ $(MAKEFLAGS); \
  12         fi