* dg-cmp-results.sh: New script for comparing DejaGNU logs.
[official-gcc.git] / gnattools / 
treeef2c21f9417e0c04bb2a3d0d048761c59ecd512f
drwxr-xr-x   ..
-rw-r--r-- 1792 ChangeLog
-rw-r--r-- 10552 Makefile.in
-rwxr-xr-x 79203 configure
-rw-r--r-- 4555 configure.ac