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/ob-buildopk.sh | |
parent | 34f21a5b49952dcb80acde5fafd85267c69e3b1d (diff) |
ob_reduce_deps(): Use -p instead of -P for platform
Same rationale as in commit 34f21a5.
Diffstat (limited to 'src/ob-buildopk.sh')
0 files changed, 0 insertions, 0 deletions