Beware, gawk 4.1.1 was bootstrapped with an unreleased libtool: --8<---------------cut here---------------start------------->8--- ~/src/gawk-4.1.1/extension$ ./libtool --version libtool (GNU libtool) 2.4.2.418 Written by Gordon Matzigkeit <g...@gnu.ai.mit.edu>, 1996
Copyright (C) 2013 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --8<---------------cut here---------------end--------------->8--- Ludo’.
