diff options
author | Ken Martin <ken.martin@kitware.com> | 2004-05-20 19:08:18 (GMT) |
---|---|---|
committer | Ken Martin <ken.martin@kitware.com> | 2004-05-20 19:08:18 (GMT) |
commit | d7c6f51d00510175ecc61709fd22ae98889e145c (patch) | |
tree | 6ac7e6d6a6524e08a501265ed3cca34b6b33020f /Source/cmCacheManager.h | |
parent | 6665adc3ff406f97ca126b8700d0da6ca7cc6e5a (diff) | |
download | CMake-d7c6f51d00510175ecc61709fd22ae98889e145c.zip CMake-d7c6f51d00510175ecc61709fd22ae98889e145c.tar.gz CMake-d7c6f51d00510175ecc61709fd22ae98889e145c.tar.bz2 |
updates to gui to delete cache
Diffstat (limited to 'Source/cmCacheManager.h')
-rw-r--r-- | Source/cmCacheManager.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/cmCacheManager.h b/Source/cmCacheManager.h index 700c16e..3096ac2 100644 --- a/Source/cmCacheManager.h +++ b/Source/cmCacheManager.h @@ -111,6 +111,9 @@ public: ///! Save cache for given makefile. Saves to ouput path/CMakeCache.txt bool SaveCache(const char* path) ; + ///! Delete the cache given + bool DeleteCache(const char* path); + ///! Print the cache to a stream void PrintCache(std::ostream&) const; |