[Ada] Revamp dump and aux output names
authorAlexandre Oliva <oliva@adacore.com>
Fri, 24 Jan 2020 00:15:30 +0000 (21:15 -0300)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 4 Jun 2020 09:11:06 +0000 (05:11 -0400)
commit593627b4562814d2206e53e9ad6ce2e85295aa58
tree6de6020f638ccc0d63275124f98d49d593c5c6aa
parentd2f87b22d1e47859166efc90eda830d21a0c31b9
[Ada] Revamp dump and aux output names

2020-06-04  Alexandre Oliva  <oliva@adacore.com>

gcc/ada/

* switch.adb (Is_Internal_GCC_Switch): Recognize dumpdir and
dumpbase-ext.  Mark auxbase and auxbase-strip for removal.
gcc/ada/switch.adb