> > Sources updated to 2022-12-31 at 13:42:04 UTC and all output dirs (obj, > > release, dist, tools) were cleaned. > > Is no-one else seeing this problem with ``build.sh tools'' ?
it's not seen by most because it depends upon the timestamps of some files.. my first attempt to fix it failed, i haven't gotten back to looking. try manually touching any of the files the build is trying to update for now. .mrg.
