[ros-diffs] [hpoussin] 28869: Let tools including the version number depend of buildno.h Remove useless tool tools-check (replaced by a rbuild check) Add .phony targets for gendib and nci