diff options
-rw-r--r-- | configure.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/configure.in b/configure.in index 20e81aa16df2..93ec153cffa8 100644 --- a/configure.in +++ b/configure.in @@ -9653,9 +9653,6 @@ dnl Setting up the environment. dnl =================================================================== echo "setting up the build environment variables..." -if test -z "$COMPATH"; then - AC_MSG_ERROR([No compiler found.]) -fi AC_SUBST(COMPATH) AC_MSG_CHECKING([solver path]) |