From f0eee4737f7f1738dfe539ebd2155b8dd1324e2c Mon Sep 17 00:00:00 2001
From: Alam Ed Arias <alam@srb2.org>
Date: Thu, 28 Sep 2017 17:45:27 -0400
Subject: [PATCH] Menu: no more pop/push options

---
 src/m_menu.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/m_menu.c b/src/m_menu.c
index 6a7315e25..748c78ad1 100644
--- a/src/m_menu.c
+++ b/src/m_menu.c
@@ -4886,7 +4886,6 @@ static boolean M_AddonsRefresh(void)
 
 #ifdef __GNUC__
 #pragma GCC optimize ("0")
-#pragma GCC push_options
 #endif
 
 static void M_DrawAddons(void)
@@ -5011,7 +5010,7 @@ static void M_DrawAddons(void)
 }
 
 #ifdef __GNUC__
-#pragma GCC pop_options
+#pragma GCC reset_options
 #endif
 
 #undef offs