Mark abort() as __attribute__((noreturn)).

diff --git a/software/include/base/stdlib.h b/software/include/base/stdlib.h
index da67b4e234e49c883a6147b6d4d7380aa6b5a242..4b9bd0492bed5bcd3b2da2b0655802141a8714df 100644 (file)
--- a/software/include/base/stdlib.h
+++ b/software/include/base/stdlib.h
@@ -63,7 +63,7 @@ char *number(char *buf, char *end, unsigned long num, int base, int size, int pr
 
 unsigned int rand(void);
 void srand(unsigned int seed);
-void abort(void);
+void abort(void) __attribute__((noreturn));
 
 void qsort(void *base, size_t nmemb, size_t size, int(*compar)(const void *, const void *));