Great thanks for info. Best, Erik On Mi, 2019-03-27 at 14:51 +0000, Michael Tremer wrote: > Hi Erik, > > For those to update, you will have to re-compile the toolchain. > > Just run: ./make.sh clean > > And then: ./make.sh toolchain > > Best, > -Michael > > > On 27 Mar 2019, at 10:43, ummeegge wrote: > > > > Hi all, > > am trying currently to update gawk (to 4.2.1) and sed (to 4.7) > > which > > worked (already installed) but there are still "gawk-4.1.4-tools" > > and > > "sed-4.4-tools" in the log findable. HavenĀ“t found the place to > > update > > those version numbers too. > > > > Does someone have a hint for me ? > > > > Best, > > > > Erik > > > >