diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-03-13 19:24:46 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-03-13 19:24:46 (EDT) |
| commit | d233bfd1a423d7515017ef4bda99ac5501120a43 (patch) | |
| tree | 531e4e8737fa74282f0457369150cf7305366b70 /src/local.mk | |
| parent | 34f21a5b49952dcb80acde5fafd85267c69e3b1d (diff) | |
ob_reduce_deps(): Use -p instead of -P for platform
Same rationale as in commit 34f21a5.
Diffstat (limited to 'src/local.mk')
0 files changed, 0 insertions, 0 deletions