X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fcompiler.h;h=b5d02466dcb7c1ddf602e3fe927303e86251399b;hb=2b29048db81c4a1d1808d857f58aa5245452a559;hp=07b36b8e24d0eb9266c7dfbdc82f6bf6b69f61d0;hpb=481ee9c1ac4e7adf004313e689830b7052e61429;p=pspp

diff --git a/src/libpspp/compiler.h b/src/libpspp/compiler.h
index 07b36b8e24..b5d02466dc 100644
--- a/src/libpspp/compiler.h
+++ b/src/libpspp/compiler.h
@@ -91,7 +91,7 @@
 /* This attribute indicates that the function should be compiled
    with the specified LEVEL, regardless of what has been specified
    on the command line */
-#if __GNUC__ > 3
+#if __GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR >= 4)
 #define OPTIMIZE(LEVEL) ATTRIBUTE ((optimize(LEVEL)))
 #else
 #define OPTIMIZE(LEVEL)