summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 3 insertions, 1 deletions
diff --git a/configure b/configure
index 4b1d2d0807..586c26bb06 100755
--- a/configure
+++ b/configure
@@ -5300,7 +5300,9 @@ if enabled icc; then
# 10006: ignoring unknown option -fno-signed-zeros
# 10148: ignoring unknown option -Wno-parentheses
# 10156: ignoring option '-W'; no argument required
- check_cflags -wd144,167,188,556,1292,1419,10006,10148,10156
+ # 13200: No EMMS instruction before call to function
+ # 13203: No EMMS instruction before return from function
+ check_cflags -wd144,167,188,556,1292,1419,10006,10148,10156,13200,13203
# 11030: Warning unknown option --as-needed
# 10156: ignoring option '-export'; no argument required
check_ldflags -wd10156,11030