X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flibpspp%2Fcompiler.h;h=b5d02466dcb7c1ddf602e3fe927303e86251399b;hb=a8c6e993d9146233cf380be16c0790f5c5d4b715;hp=07b36b8e24d0eb9266c7dfbdc82f6bf6b69f61d0;hpb=cb4654463fdc1768642e0fda0f2cb56d4ccb8599;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)