| commit | c2f62fab37dc4121466d4f506e93a99bc9ebe483 | [log] [tgz] |
|---|---|---|
| author | Brian Silverman <brians> | Fri Mar 08 15:55:43 2013 -0800 |
| committer | Brian Silverman <brians> | Fri Mar 08 19:22:14 2013 -0800 |
| tree | a902a43a9efa7cbc85a8e5c73c884b932868a15e | |
| parent | 575d319f9ef86793c120c0ac6f8096c4e6733a59 [diff] [blame] |
fixes to make the hardware stuff actually work
diff --git a/aos/common/logging/logging.h b/aos/common/logging/logging.h index 392fc5b..9087a32 100644 --- a/aos/common/logging/logging.h +++ b/aos/common/logging/logging.h
@@ -7,6 +7,11 @@ #include <stdio.h> #include <stdint.h> +#ifdef __VXWORKS__ +// Because the vxworks system headers miss the noreturn... +void abort(void) __attribute__((noreturn)); +#endif + #ifdef __cplusplus extern "C" { #endif