If I've configured a Release build, build it and then go back and re-run
cmake with -DCMAKE_BUILD_TYPE=Debug (and nothing else changed), almost
nothing gets rebuilt when I try to build. Is this expected? I know I
can edit CMakeCache.txt directly and trigger an essentially full
rebuild.
-David