diff options
| author | Philip Guenther <guenther@cvs.openbsd.org> | 2014-03-11 07:42:56 +0000 |
|---|---|---|
| committer | Philip Guenther <guenther@cvs.openbsd.org> | 2014-03-11 07:42:56 +0000 |
| commit | 0a59add8b893aab3699307f2d740e300c59626e2 (patch) | |
| tree | 0ae67ad7d6316717b60ee0f135cfa734b85c3861 /sys/arch/arm/include/profile.h | |
| parent | c2fcd898a32efd3e4bef0ed37c19eed602ffa14d (diff) | |
lint is dead (long live the lint!)
Declare play() and pl_main() as __dead, to solve the original problem
Diffstat (limited to 'sys/arch/arm/include/profile.h')
0 files changed, 0 insertions, 0 deletions