diff options
author | Fabio Estevam <festevam@gmail.com> | 2016-12-11 20:01:49 -0200 |
---|---|---|
committer | Peter Korsgaard <peter@korsgaard.com> | 2016-12-12 00:02:03 +0100 |
commit | 94025035e4897de3b56f1e9a6f31f7836d6114e5 (patch) | |
tree | 4565487e1fbffdba6e831f9356c26a9d3277df38 /package/zsh/0001-configure-use-user-set-pcre-config.patch | |
parent | bfc797568e2ad5799c4402f7c3a654c317be542b (diff) | |
download | buildroot-94025035e4897de3b56f1e9a6f31f7836d6114e5.tar.gz buildroot-94025035e4897de3b56f1e9a6f31f7836d6114e5.zip |
toolchain: add 4.9.x choice for headers
Signed-off-by: Fabio Estevam <festevam@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'package/zsh/0001-configure-use-user-set-pcre-config.patch')
0 files changed, 0 insertions, 0 deletions