search

xonixx / makesure

Simple task/command runner with declarative goals and dependencies
https://makesure.dev
MIT License
340 stars 5 forks source link

Gawk warns about obsolete time extension #118

Closed AdamantGarth closed 1 year ago

AdamantGarth commented 1 year ago

OS: Arch Linux

$ ./makesure --version
gawk: warning: The time extension is obsolete. Use the timex extension from gawkextlib instead.
0.9.19
$ gawk --version | head -n1
GNU Awk 5.2.1, API 3.2, PMA Avon 8-g1, (GNU MPFR 4.1.1-p1, GNU MP 6.2.1)
xonixx commented 1 year ago

Thank you for the report! Let's see what can be done here.

xonixx commented 1 year ago

Asked in Gawk mailing list if it would be possible to keep the getttimeofday() function we rely on: https://lists.gnu.org/archive/html/bug-gawk/2023-01/msg00017.html.

If not, we'll drop the usage of it. This means on macOS the timings precision will be back to 1 sec (#51) unless we find another way.

xonixx commented 1 year ago

Hey @AdamantGarth. So Gawk creators agree to un-deprecate the time extension, so I hope the warning will go away with next Gawk version.

Let me know if the issue is critical to you now and we'll think what can we do meanwhile.

AdamantGarth commented 1 year ago

Oh, that's great! I downgraded my Gawk for the time being, so it's not a problem at all. I'll close the issue now, cause there's nothing left to do on makesure's side, and I might forget to close it after Gawk updates :)