On Fri, 2024-12-20 at 11:37 +0000, Shinichiro Kawasaki wrote: > On Dec 18, 2024 / 03:13, Luis Chamberlain wrote: > > I get this failure when I run this test: > > > > awk: ...rescan.awk:2: warning: The time extension is obsolete. > > Use the timex extension from gawkextlib > > get_sleep_time() { > local duration=$((RANDOM % 50 + 1)) > > echo "$((duration / 10))"."$((duration % 10))" > } > > With this, we should be able to drop the awk script form the test > case. > > Martin, what do you think? Fine with me, and actually, nice. This way we don't need awk at all. Do you want me to submit a patch, or will you do it yourself? Martin