diff --git a/dietlibc-0.31-noreturn.patch b/dietlibc-0.31-noreturn.patch new file mode 100644 index 0000000..6b7dc69 --- /dev/null +++ b/dietlibc-0.31-noreturn.patch @@ -0,0 +1,12 @@ +diff -up dietlibc-0.31.20080409/include/stdlib.h.noreturn dietlibc-0.31.20080409/include/stdlib.h +--- dietlibc-0.31.20080409/include/stdlib.h.noreturn 2008-04-13 22:56:59.000000000 +0200 ++++ dietlibc-0.31.20080409/include/stdlib.h 2008-04-13 22:57:54.000000000 +0200 +@@ -47,7 +47,7 @@ double atof(const char *nptr) __THROW; + __extension__ long long int atoll(const char *nptr); + + void exit(int status) __THROW __attribute__((__noreturn__)); +-void abort(void) __THROW; ++void abort(void) __THROW __attribute__((__noreturn__)); + + extern int rand(void) __THROW; + extern int rand_r(unsigned int *seed) __THROW;