From: Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Date: Tue, 19 Sep 2017 09:07:19 +0000 (+0000)
Subject: validity_check.adb: Minor dg-options simplification.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9412007cea62fe6181dfab389c578a0f0839baf8;p=gcc.git

validity_check.adb: Minor dg-options simplification.

gcc/testsuite/

	* gnat.dg/validity_check.adb: Minor dg-options simplification.

From-SVN: r252971
---

diff --git a/gcc/testsuite/gnat.dg/validity_check.adb b/gcc/testsuite/gnat.dg/validity_check.adb
index a37a5955201..1bcc084f52c 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;