diff options
Diffstat (limited to 'Build/source/texk/kpathsea/Makefile.in')
-rw-r--r-- | Build/source/texk/kpathsea/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/kpathsea/Makefile.in b/Build/source/texk/kpathsea/Makefile.in index bd1a781678d..797b44e985b 100644 --- a/Build/source/texk/kpathsea/Makefile.in +++ b/Build/source/texk/kpathsea/Makefile.in @@ -1752,6 +1752,10 @@ $(libkpathsea_la_OBJECTS): paths.h kpathsea.h paths.h: stamp-paths stamp-paths: texmf.cnf bsnl.awk +# ensure grep is not completely broken, e.g., from GREP_OPTIONS. + echo a | grep -v b >/dev/null || { echo "*** grep broken, goodbye."; exit 1; } +# +# generate paths.h without build machine directories. echo "/* paths.h: Generated from texmf.cnf. */" >paths.tmp awk -f $(srcdir)/bsnl.awk $(srcdir)/texmf.cnf \ | sed -e 's/%.*//' -e 's/^[ ]*//' -e 's/[ ]*$$//' \ |