GHS: RERUN_CMAKE target sometimes fails to update project files
The RERUN_CMAKE target is intended to be used to update project files if any of the CMakeLists.txt files for the project get updated. If there is an error in CMake processing in the generation step then subsequent use of the RERUN_CMAKE target will not notice that the project files still need to be updated.
RERUN_CMAKE target works by keeping track of a stamp file. The stamp file is updated when configuration is complete. However the stamp file should be updated with both configuration and generation is complete.