(pfa_warning): Use less broken check.

diff --git a/mf/GNUmakefile b/mf/GNUmakefile
index a2542a59ea1cba1f943d59bd5aa90e1107894371..e8ee1857ad494ac8e84098d1e407c902da0d8d78 100644 (file)
--- a/mf/GNUmakefile
+++ b/mf/GNUmakefile
@@ -116,21 +116,21 @@ export MFINPUTS:=.:$(MFINPUTS)
 default: pfa_warning $(ALL_GEN_FILES) $(outdir)/bigcheese20.otf
 
 pfa_warning:
-# ifneq ($(notdir $(MFTRACE)),mftrace)
-#      @echo ""
-#      @echo "ERROR: mftrace not found"
-#      @echo ""
-#      @echo "For obtaining PFA fonts, either install mftrace "
-#      @echo "(see http://www.xs4all.nl/~hanwen/mftrace/ ),"
-#      @echo "or try one of the following commands in this directory: "
-#      @echo ""
-#      @echo " make get-pfa "
-#      @echo " make get-rpm-pfa "
-#      @echo " make get-deb-pfa "
-#      @echo ""
-#      @echo "These commands will try to download the files from the internet."
-#      @false
-# endif
+ifneq ($(shell $(MFTRACE) --version | sed 's/ .*//'),mftrace)
+       @echo ""
+       @echo "ERROR: mftrace not found"
+       @echo ""
+       @echo "For obtaining PFA fonts, either install mftrace "
+       @echo "(see http://www.xs4all.nl/~hanwen/mftrace/ ),"
+       @echo "or try one of the following commands in this directory: "
+       @echo ""
+       @echo " make get-pfa "
+       @echo " make get-rpm-pfa "
+       @echo " make get-deb-pfa "
+       @echo ""
+       @echo "These commands will try to download the files from internet."
+       @false
+endif
 
 
 debian-mirror=http://ftp.us.debian.org