diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-05-08 20:57:53 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-05-08 20:57:53 (EDT) |
commit | 2b584dbb527230f44bb61eb83428c80d5e938e0c (patch) | |
tree | 5c92f2a56da14f01e702995592b3693db05dedad /man/oh_info.3.in | |
parent | 91acf2d0fadade2082f4519f84617bdbbeb0c8c6 (diff) |
ob_match_plat(): Add missing platform check.
This will be necessary to build the linux-libre source package for the
dev platform without building linux-image and linux-sysmap binary
packages.
Diffstat (limited to 'man/oh_info.3.in')
0 files changed, 0 insertions, 0 deletions