diff --git a/configure.in b/configure.in index 7b8fa9fc..58dac4c7 100644 --- a/configure.in +++ b/configure.in @@ -3098,6 +3098,18 @@ case $sqr_basecase_source in cat >tune/sqr_basecase.c <tune/sqr_basecase.c <