| Submitter | Allen Martin |
|---|---|
| Date | Jan. 22, 2013, 10:51 p.m. |
| Message ID | <1358895116-23883-1-git-send-email-amartin@nvidia.com> |
| Download | mbox | patch |
| Permalink | /patch/214687/ |
| State | Superseded |
| Headers | show |
Comments
Patch
diff --git a/arch/sandbox/cpu/start.c b/arch/sandbox/cpu/start.c index 7603bf9..5287fd5 100644 --- a/arch/sandbox/cpu/start.c +++ b/arch/sandbox/cpu/start.c @@ -122,4 +122,7 @@ int main(int argc, char *argv[]) * never return. */ board_init_f(0); + + /* NOTREACHED - board_init_f() does not return */ + return 0; }