1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index c80fb2f23..6b2c9d87b 100755
--- a/configure
+++ b/configure
@@ -129,6 +129,7 @@ AWKCOMMAND='
 		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0")  { next; }
 		if ($0 == "LIBTIMIDITY" && "'$libtimidity'" == "" )        { next; }
 		if ($0 == "HAVE_THREAD" && "'$with_threads'" == "0")       { next; }
+		if ($0 == "SSE"         && "'$with_sse'" != "1")           { next; }
 
 		skip += 1;