[Valgrind-valkyrie-dev] valkyrie: r432 - trunk/valkyrie/options

[<sv...@va...>]

Author: cerion
Date: 2008-06-10 01:30:28 +0100 (Tue, 10 Jun 2008)
New Revision: 432

Log:
Allow for multiple suppressions on the command line




Modified:
   trunk/valkyrie/options/parse_cmd_args.cpp


Modified: trunk/valkyrie/options/parse_cmd_args.cpp
===================================================================
--- trunk/valkyrie/options/parse_cmd_args.cpp	2008-06-09 22:52:09 UTC (rev 431)
+++ trunk/valkyrie/options/parse_cmd_args.cpp	2008-06-10 00:30:28 UTC (rev 432)
@@ -179,11 +179,19 @@
          goto done;
       }
 
-      /* else ok: write option to config (but not to disk yet) */
+      /* else ok: write option to config
+         Note: not written to disk. The user can do this via option config */
       vk_opt = obj->findOption( opt->optKey );
       vk_assert(vk_opt != NULL);
-      vkConfig->wrEntry( qs_argval, vk_opt->cfgKey(), vk_opt->cfgGroup() );
 
+      if ( opt->objectId == VkObject::ID_VALGRIND &&
+           opt->optKey == Valgrind::SUPPS_SEL ) {
+         /* exception: multiple suppressions are allowed */
+         vkConfig->addEntry( qs_argval, vk_opt->cfgKey(), vk_opt->cfgGroup() );
+      } else {
+         vkConfig->wrEntry( qs_argval, vk_opt->cfgKey(), vk_opt->cfgGroup() );
+      }
+
    }   /* end while ... */
 
    /* rc == 1 for the first non-valkyrie/valgrind option */