Browse Source

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.

Brad King 17 years ago
parent
commit
3e997c9fc8
1 changed files with 16 additions and 0 deletions
  1. 16 0
      Source/cmake.cxx

+ 16 - 0
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";