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