It is used to specify which files are compiled with -gnato, but the switch
has been the default for at least a decade.
gcc/testsuite/
* ada/acats/overflow.lst: Delete.
* ada/acats/run_all.sh: Do not process overflow.lst.
+++ /dev/null
-c45632a
-c45632b
-c45632c
-c45504a
-c45504b
-c45504c
-c45613a
-c45613b
-c45613c
-c45304a
-c45304b
-c45304c
-c46014a
-c460008
-c460011
-c4a012b
-cb20004
fi
extraflags="-gnat95"
- grep $i $testdir/overflow.lst > /dev/null 2>&1
- if [ $? -eq 0 ]; then
- extraflags="$extraflags -gnato"
- fi
grep $i $testdir/elabd.lst > /dev/null 2>&1
if [ $? -eq 0 ]; then
extraflags="$extraflags -gnatE"