diff options
| author | Jason A. Donenfeld <Jason@zx2c4.com> | 2014-04-19 23:50:42 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2014-04-19 23:50:42 +0200 |
| commit | 18933a2db9015d2acd669ac879521e02caed0bba (patch) | |
| tree | fcbcbdb881201f4984bcf96499c3af0c0ef137d9 /debian | |
| parent | 78098bab96c0228d700978492152ba3c2a872d2b (diff) | |
platform: Auto-detect local platform file
In fact, if we're running from the source directory, just auto-detect
the platform file in the first place.
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions