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 | |
| 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')
0 files changed, 0 insertions, 0 deletions