diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 4ee99c44fb..7af004a5d1 100644 --- a/configure.in +++ b/configure.in @@ -1657,8 +1657,14 @@ AC_ARG_WITH(sitehdrdir, [sitehdrdir=$withval], [sitehdrdir='${rubyhdrdir}/site_ruby']) +AC_ARG_WITH(vendorhdrdir, + [ --with-vendor-hdrdir=DIR core headers in DIR [INCLUDEDIR]], + [vendorhdrdir=$withval], + [vendorhdrdir='${rubyhdrdir}/vendor_ruby']) + AC_SUBST(rubyhdrdir)dnl AC_SUBST(sitehdrdir)dnl +AC_SUBST(vendorhdrdir)dnl AC_ARG_WITH(mantype, [ --with-mantype=TYPE specify man page type; TYPE is one of man and doc], |