#! /bin/sh
-# From configure.in Revision: 1.422 .
+# From configure.in Revision: 1.423 .
# Guess values for system-dependent variables and create Makefiles.
# Generated by Autoconf 2.52.20061216.
#
echo "$as_me:9306: result: $with_warnings" >&5
echo "${ECHO_T}$with_warnings" >&6
-if test -n "$with_warnings"; then
+if test "x$with_warnings" = "xyes"; then
ADAFLAGS="$ADAFLAGS -gnatg"
INTEL_COMPILER=no