[ros-diffs] [cwittich] 23372: script which calls make -j with the number of processors retrieved by GetSystemInfo