added gcc's -Qn and -Qy

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3596 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2014-02-10 11:46:29 +00:00 · 2014-02-10 11:46:29 +00:00 · af57b4231c
parent bdfe605027
commit af57b4231c
1 changed files with 2 additions and 0 deletions
--- a/src/goto-cc/gcc_cmdline.cpp
+++ b/src/goto-cc/gcc_cmdline.cpp
@ -148,6 +148,8 @@ const char *gcc_options_without_argument[]=
  "-print-multi-lib",
  "-print-search-dirs", 
  "-Q",
+  "-Qn",
+  "-Qy",
  "-pthread",
  "-save-temps", 
  "-time",