From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 12 Jul 2011 08:07:21 +0000 (-0700)
Subject: * lib/glthread/thread.h: Modernize comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f2607506fe9fc95dd5d5ea67fd91035b1c62302a;p=pspp

* lib/glthread/thread.h: Modernize comment.
---

diff --git a/ChangeLog b/ChangeLog
index a8a00cadd5..ca9efc08d3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2011-07-12  Paul Eggert  <eggert@cs.ucla.edu>
 
+	* lib/glthread/thread.h: Modernize comment.
+
 	obstack: use _Noreturn
 	* lib/obstack.c (__attribute__): Remove macro.
 	(print_and_abort): Use _Noreturn.
diff --git a/lib/glthread/thread.h b/lib/glthread/thread.h
index 2a819f9fab..3d7f7601d1 100644
--- a/lib/glthread/thread.h
+++ b/lib/glthread/thread.h
@@ -53,7 +53,7 @@
 
    Terminating the current thread:
        gl_thread_exit (return_value);
-       extern void gl_thread_exit (void *return_value) __attribute__ ((noreturn));
+       extern _Noreturn void gl_thread_exit (void *return_value);
 
    Requesting custom code to be executed at fork() time(not supported on all
    platforms):