Fix for gcc
authorStefan Vogel <sv@exept.de>
Tue, 19 Mar 2019 17:28:18 +0100
changeset 4890 e2c11ec25c50
parent 4889 7d32114f8359
child 4891 d8c52483ab4c
Fix for gcc
CRC32Stream.st
--- a/CRC32Stream.st	Tue Mar 19 14:08:27 2019 +0100
+++ b/CRC32Stream.st	Tue Mar 19 17:28:18 2019 +0100
@@ -34,8 +34,6 @@
 #if defined(__x86__) || defined(__x86_64__)
 
 # if defined(__GNUC__)
-#  pragma GCC push_options
-#  pragma GCC target ("arch=core-avx2")
 #  define HAS_CRC
 # endif