diff options
author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-19 09:07:19 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-19 09:07:19 +0000 |
commit | 9412007cea62fe6181dfab389c578a0f0839baf8 (patch) | |
tree | 07c74f3111f10a96da3b54ed7d44d12db000576d | |
parent | 197d2f5b2c2bece593f29ffe1e98c23f62ffbbbb (diff) | |
download | gcc-9412007cea62fe6181dfab389c578a0f0839baf8.zip gcc-9412007cea62fe6181dfab389c578a0f0839baf8.tar.gz gcc-9412007cea62fe6181dfab389c578a0f0839baf8.tar.bz2 |
validity_check.adb: Minor dg-options simplification.
gcc/testsuite/
* gnat.dg/validity_check.adb: Minor dg-options simplification.
From-SVN: r252971
-rw-r--r-- | gcc/testsuite/gnat.dg/validity_check.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/testsuite/gnat.dg/validity_check.adb b/gcc/testsuite/gnat.dg/validity_check.adb index a37a595..1bcc084 100644 --- a/gcc/testsuite/gnat.dg/validity_check.adb +++ b/gcc/testsuite/gnat.dg/validity_check.adb @@ -1,5 +1,5 @@ -- { dg-do run } --- { dg-options "-cargs -O -gnatn -gnatVa -gnatws -margs" } +-- { dg-options "-O -gnatn -gnatVa -gnatws" } pragma Initialize_Scalars; |