diff options
author | David Tardon <dtardon@redhat.com> | 2012-04-16 20:42:34 +0200 |
---|---|---|
committer | David Tardon <dtardon@redhat.com> | 2012-04-16 20:42:34 +0200 |
commit | a2c86edd6a15150d4b6ab8f5d22126f129db86fe (patch) | |
tree | 49c417d6462778852c5b0077d03c88e27755cc48 | |
parent | a420516af36b3c7b6b657ffdef8cb0ef0a6ae1b4 (diff) |
make that warning, not error
-rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 1792d2b29ea4..eb4e746c1b7d 100644 --- a/configure.in +++ b/configure.in @@ -8166,7 +8166,7 @@ if test "$_os" = "WINNT"; then if test "$WITH_MINGW" = "yes"; then AC_PATH_PROG([UUIDGEN], [uuid]) if test -z "$UUIDGEN"; then - AC_MSG_ERROR([uuid is needed for dev-install]) + AC_MSG_WARN([uuid is needed for dev-install]) fi else # presence is already tested above in the WINDOWS_SDK_HOME check |