Commit 0a1d798

committed

Avoid using gawk, it crashes.

If "awk" is gawk, try using python3 if available and new enough. Otherwise, give an error.

1 parent 9d1c39f commit 0a1d798Copy full SHA for 0a1d798

1 file changed

configure

`‎configure‎`

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Comments

(0)