aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre-Marie de Rodat <pmderodat@gcc.gnu.org>2017-09-19 09:07:19 +0000
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>2017-09-19 09:07:19 +0000
commit9412007cea62fe6181dfab389c578a0f0839baf8 (patch)
tree07c74f3111f10a96da3b54ed7d44d12db000576d
parent197d2f5b2c2bece593f29ffe1e98c23f62ffbbbb (diff)
downloadgcc-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.adb2
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;