Tue Feb 25 09:32:15 UTC 2014  Johnny Willemsen  <jwillemsen@remedy.nl>

        * bin/auto_run_tests.pl:
        * tests/run_test.pl:
          Changed the way we enable coverity test separation, introduced
          new Coverity test config instead of commandline option



git-svn-id: svn://svn.dre.vanderbilt.edu/DOC/Middleware/trunk/ACE@97634 ae88bc3d-4319-0410-8dbf-d08b4c9d3795