^.*\.log$
^.*\.substvars$
^CHANGE_124901$
^CHANGE_143156$
^COPYING$
^Makefile\.in$
^README$
^\.gitignore$
^\.pc$
^build-stamp$
^config\.guess$
^config\.sub$
^configure$
^configure\.in$
^debian/files$
^debian/gprbuild$
^debian/gprbuild-doc$
^debian/stamp-patched$
^debian/tmp$
^debug\.adc$
^doc$
^doinstall$
^examples$
^features$
^features-11$
^features-12$
^features-13$
^files$
^gnat$
^gprbuild$
^gprbuild-doc$
^gprbuild\.gpr$
^install-sh$
^known-problems-100$
^known-problems-110$
^known-problems-120$
^obj$
^obj-cov$
^obj-debug$
^sdefault-body-stamp$
^share$
^src$
^stamp-patched$
^tmp$
