kernel: fix HAVE_FUNC_ATTRIBUTE_NORETURN -> *_FORMAT

hulpke · Dec 18, 2018 · b9ce2cb · b9ce2cb
1 parent 5667fb0
commit b9ce2cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/system.h b/src/system.h
@@ -435,7 +435,7 @@ extern void SyExit(UInt ret) NORETURN;
 *F  Panic( <msg> )
 */
 extern void Panic_(const char * file, int line, const char * fmt, ...) NORETURN
-#ifdef HAVE_FUNC_ATTRIBUTE_NORETURN
+#ifdef HAVE_FUNC_ATTRIBUTE_FORMAT
   __attribute__ ((format (printf, 3, 4)))
 #endif
 ;