From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 31 Aug 2004 22:04:56 +0000 (+0000)
Subject: Use __attribute__ directly.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=787ccae300cef13f0dabd4d6b0633b90d783dbc5;p=pintos-anon

Use __attribute__ directly.
---

diff --git a/src/threads/malloc.h b/src/threads/malloc.h
index a212592..1fb531f 100644
--- a/src/threads/malloc.h
+++ b/src/threads/malloc.h
@@ -5,8 +5,8 @@
 #include <stddef.h>
 
 void malloc_init (void);
-void *malloc (size_t) ATTRIBUTE ((malloc));
-void *calloc (size_t, size_t) ATTRIBUTE ((malloc));
+void *malloc (size_t) __attribute__ ((malloc));
+void *calloc (size_t, size_t) __attribute__ ((malloc));
 void free (void *);
 
 #endif /* malloc.h */