diff options
author | Brad King <brad.king@kitware.com> | 2008-03-13 19:06:35 (GMT) |
---|---|---|
committer | Brad King <brad.king@kitware.com> | 2008-03-13 19:06:35 (GMT) |
commit | 3e997c9fc8f0adc861906c7812425ab84b5d2164 (patch) | |
tree | 359b08f4deeab62a0cee4cab233cbec8ac09d2f0 /Source/cmake.cxx | |
parent | 908a2b462d762e24eab8fa1569eac05ce8a16438 (diff) | |
download | CMake-3e997c9fc8f0adc861906c7812425ab84b5d2164.zip CMake-3e997c9fc8f0adc861906c7812425ab84b5d2164.tar.gz CMake-3e997c9fc8f0adc861906c7812425ab84b5d2164.tar.bz2 |
ENH: Make (dev) warnings show note about -Wno-dev option. Fix -Wdev and -Wno-dev options to not be mistaken for the source directory specification.
Diffstat (limited to 'Source/cmake.cxx')
-rw-r--r-- | Source/cmake.cxx | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Source/cmake.cxx b/Source/cmake.cxx index 32c0911..53dac02 100644 --- a/Source/cmake.cxx +++ b/Source/cmake.cxx @@ -586,6 +586,16 @@ void cmake::SetArgs(const std::vector<std::string>& args) // skip for now i++; } + else if(arg.find("-Wno-dev",0) == 0) + { + // skip for now + i++; + } + else if(arg.find("-Wdev",0) == 0) + { + // skip for now + i++; + } else if(arg.find("--graphviz=",0) == 0) { std::string path = arg.substr(strlen("--graphviz=")); @@ -4172,6 +4182,12 @@ void cmake::IssueMessage(cmake::MessageType t, std::string const& text, } } + // Add a note about warning suppression. + if(t == cmake::AUTHOR_WARNING) + { + msg << "This warning may be suppressed using the -Wno-dev option."; + } + // Add a terminating blank line. msg << "\n"; |