#! /bin/sh
-# From configure.in Revision: 1.84 .
+# From configure.in Revision: 1.85 .
# Guess values for system-dependent variables and create Makefiles.
# Generated by Autoconf 2.52.20210509.
#
if test "x$enable_warnings" = "xyes"; then
- ADAFLAGS="$ADAFLAGS -gnatg"
+ ADAFLAGS="$ADAFLAGS -gnatwa -gnatyg"
fi