| commit | 3cfe74d0eccc54543e74900023fcf453cb772f25 | [log] [tgz] |
|---|---|---|
| author | Brian Silverman <brians> | Fri Mar 08 15:55:43 2013 -0800 |
| committer | Brian Silverman <brians> | Fri Mar 15 15:49:39 2013 -0700 |
| tree | 72755a523b1922cea81b9bbfa97337aae87d0ff3 | |
| parent | 4926dd05089c4732f57887557cbd0da82b1ddcaf [diff] [blame] |
made gcc recognized that LOG(FATAL) does not return
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