diff options
-rwxr-xr-x[-rw-r--r--] | testsuite/gna/bug15966/testsuite.sh | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | testsuite/gna/bug21274/testsuite.sh | 0 | ||||
-rwxr-xr-x | testsuite/testsuite.sh | 1 | ||||
-rwxr-xr-x[-rw-r--r--] | testsuite/vests/testsuite.sh | 0 |
4 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/gna/bug15966/testsuite.sh b/testsuite/gna/bug15966/testsuite.sh index 843dd5b..843dd5b 100644..100755 --- a/testsuite/gna/bug15966/testsuite.sh +++ b/testsuite/gna/bug15966/testsuite.sh diff --git a/testsuite/gna/bug21274/testsuite.sh b/testsuite/gna/bug21274/testsuite.sh index 165c80c..165c80c 100644..100755 --- a/testsuite/gna/bug21274/testsuite.sh +++ b/testsuite/gna/bug21274/testsuite.sh diff --git a/testsuite/testsuite.sh b/testsuite/testsuite.sh index 238a6f9..48e99ed 100755 --- a/testsuite/testsuite.sh +++ b/testsuite/testsuite.sh @@ -23,6 +23,7 @@ do_vests () { echo "**** VESTS ****" echo "***************" + gnatmake get_entities cd vests ./testsuite.sh cd .. diff --git a/testsuite/vests/testsuite.sh b/testsuite/vests/testsuite.sh index 4cd6e97..4cd6e97 100644..100755 --- a/testsuite/vests/testsuite.sh +++ b/testsuite/vests/testsuite.sh |