diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-10-06 14:33:22 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2019-12-09 13:00:26 -0800 |
| commit | c493f1c9c4094afae7f3a0693ae395f3859022b4 (patch) | |
| tree | 30477cf25d3d323864734f2fa28ed9a0cc8fecec /lib/mpi | |
| parent | e42617b825f8073569da76dc4510bfa019b1c35a (diff) | |
torture: Use gawk instead of awk for systime() function
In many environments, gawk provides systime(), but awk doesn't.
This commit therefore changes awk scripts using systime() to instead be
gawk scripts.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'lib/mpi')
0 files changed, 0 insertions, 0 deletions