This patch adds two common shortcuts to the failure reproducer
[official-gcc.git] / gnattools / 
tree803d74e4afdf4d1a900dd62f679020100de4e712
drwxr-xr-x   ..
-rw-r--r-- 6456 ChangeLog
-rw-r--r-- 9274 Makefile.in
-rwxr-xr-x 117793 configure
-rw-r--r-- 4960 configure.ac