a-direio.adb, [...]: Add Flush to Sequential_IO and Direct_IO.
authorPascal Obry <obry@adacore.com>
Fri, 6 Jan 2017 11:58:56 +0000 (11:58 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 6 Jan 2017 11:58:56 +0000 (12:58 +0100)
commitf6c5454e6b1003b398ffa0bb839bb7ac07647411
tree7acd007ae318580ff8a3a5471df4662bb286afbd
parent533e3abc48268dd8eee0c63ddcf133e7a14b370d
a-direio.adb, [...]: Add Flush to Sequential_IO and Direct_IO.

2017-01-06  Pascal Obry  <obry@adacore.com>

* a-direio.adb, a-direio.ads, a-sequio.adb, a-sequio.ads: Add Flush to
Sequential_IO and Direct_IO.

From-SVN: r244145
gcc/ada/ChangeLog
gcc/ada/a-direio.adb
gcc/ada/a-direio.ads
gcc/ada/a-sequio.adb
gcc/ada/a-sequio.ads