[Compbench-devel] CompBenchmarks++ compbenchmarks-config, 1.26, 1.27

[Frederic T. <xf...@us...>]

Update of /cvsroot/compbench/CompBenchmarks++
In directory sc8-pr-cvs4.sourceforge.net:/tmp/cvs-serv19292

Modified Files:
	compbenchmarks-config 
Log Message:
compbenchmarks renamed to combenchmarks-core

Index: compbenchmarks-config
===================================================================
RCS file: /cvsroot/compbench/CompBenchmarks++/compbenchmarks-config,v
retrieving revision 1.26
retrieving revision 1.27
diff -C2 -d -r1.26 -r1.27
*** compbenchmarks-config	1 Nov 2006 13:05:19 -0000	1.26
--- compbenchmarks-config	1 Nov 2006 13:21:12 -0000	1.27
***************
*** 435,441 ****
  
  sub cbmc_init {
!   $CBM='./compbenchmarks';
    if (! -x $CBM) {
!     $CBM='compbenchmarks';
    }
  
--- 435,441 ----
  
  sub cbmc_init {
!   $CBM='./compbenchmarks-core';
    if (! -x $CBM) {
!     $CBM='compbenchmarks-core';
    }