use NORETURN macro instead of gcc like __attribute__(noreturn)

[r18526]

diff --git a/adt/error.h b/adt/error.h
index 44eb0fd..3384874 100644 (file)
--- a/adt/error.h
+++ b/adt/error.h
@@ -1,7 +1,8 @@
 // placeholder file...
 #include <stdio.h>
 #include <stdlib.h>
+#include "config.h"
 
-static inline __attribute__((noreturn))
+static inline NORETURN
 void panic(const char *msg)
 { fprintf(stderr, "Panic: %s\n", msg); abort(); }