diff options
author | Nicolas Williams <nico@cryptonector.com> | 2017-02-23 00:30:13 -0600 |
---|---|---|
committer | Nicolas Williams <nico@cryptonector.com> | 2017-02-23 00:30:13 -0600 |
commit | c6374b6a1fce85687af3bffd3fa0f9541d174cb9 (patch) | |
tree | 85db4b42caf456870eb82e62690dfa5b31f2f2fd /Dockerfile | |
parent | 8cde3280074f273a379dd3ea9d3fafc10918ee70 (diff) |
Allow ./configure --with-oniguruma=builtin
This allows one to force the use of jq's builtin copy of Oniguruma
(builtin as a git submodule).
We still need to fix make dist to include that copy of Oniguruma.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions