2019-04-28 3:18 GMT+02:00, Alexander Strasser <eclipse7 at gmx.net>: > What do you think about using awk instead of shell? Do we only use awk for --enable-random and the dependency files so far? Does configure also work without awk now and would this change? Thank you, Carl Eugen