Hi Carl Eugen! On 2019-05-01 22:57 +0200, Carl Eugen Hoyos wrote: > 2019-04-28 3:18 GMT+02:00, Alexander Strasser <eclip...@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?
No, it wouldn't as I have written when initially proposing to use it here. We unconditionally use awk for generating and writing the primary configure outputs: the config files. Upon your question I looked it up exactly; the routine was rewritten by Mans to use awk near the end of 2012 in this commit: f454e879238ce317c6d905d187e7608c461a7087 Alexander _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email ffmpeg-devel-requ...@ffmpeg.org with subject "unsubscribe".
