projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf9e382) | patch
[Ada] Put a couple of options in alphabetical order
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 6 Jan 2020 09:12:44 +0000 (10:12 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 3 Jun 2020 10:01:25 +0000 (06:01 -0400)
commitbad8184e3e16dfd4d30099e18e443c4a54b97c83
treea92a937d65a772ef5b64746e31f64a077dbba0detree
parentcf9e38295f751336e2ce4bc08fe8bf9f7b3ae898commit | diff
[Ada] Put a couple of options in alphabetical order

2020-06-03  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* opt.ads (Disable_FE_Inline): Move around.
(Disable_FE_Inline_Always): Likewise.
gcc/ada/opt.ads diff | blob | history