diff options
| author | Tom Rini <trini@embeddedalley.com> | 2009-07-06 18:03:43 -0700 |
|---|---|---|
| committer | Tom Rini <trini@embeddedalley.com> | 2009-07-06 18:03:43 -0700 |
| commit | d1767a1edbc8335f1cfd9c2975b7e8c2b283f10f (patch) | |
| tree | 0fcb473439be33e180aeeab98bc7991d25e0f78d /conf/distro | |
| parent | 178ea3236f43cb313cbd67aa0d60aad5d3680eea (diff) | |
gmp: Fix a problem when ${exec_prefix} != ${includedir}, switch to INC_PR
Diffstat (limited to 'conf/distro')
0 files changed, 0 insertions, 0 deletions