diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-26 13:09:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-26 13:09:36 +0200 |
commit | d7c0f094cbcfe1ae4ccc3d54baec00b66ccb1ed0 (patch) | |
tree | 129496f3cf5e3659e1fd7611f2b187247e635f88 /src/libstore/builtins | |
parent | 2292814049256980c6e809ab364ebe0da3c9d76a (diff) | |
parent | 72f8771094d575e924846f16e5c60742eea9420b (diff) |
Merge pull request #3860 from matthewbauer/precompile-headers-cross
Allow PRECOMPILE_HEADERS in cross-compilation
Diffstat (limited to 'src/libstore/builtins')
0 files changed, 0 insertions, 0 deletions