Use 'require' with gnatmake_version_at_least
authorTom Tromey <tromey@adacore.com>
Wed, 12 Apr 2023 14:36:15 +0000 (08:36 -0600)
committerTom Tromey <tromey@adacore.com>
Wed, 12 Apr 2023 14:39:34 +0000 (08:39 -0600)
commit8cb6bcc3eedae0d3f034fe36fdee65fe3cf59adc
tree7a6d19650d91afd3e653385ff63893545499e7f9
parent0a12bf174dd171edf153dbdcfb82d04f53d6cfab
Use 'require' with gnatmake_version_at_least

I found a couple of tests that check gnatmake_version_at_least using
"if" where "require" would be a little cleaner.  This patch converts
these.
gdb/testsuite/gdb.ada/mi_prot.exp
gdb/testsuite/gdb.ada/rename_subscript_param.exp