[Compbench-devel] CompBenchmarks++ compbenchmarks-config, 1.15, 1.16

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

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

Modified Files:
	compbenchmarks-config 
Log Message:
Warn if no benchmark selected.

Index: compbenchmarks-config
===================================================================
RCS file: /cvsroot/compbench/CompBenchmarks++/compbenchmarks-config,v
retrieving revision 1.15
retrieving revision 1.16
diff -C2 -d -r1.15 -r1.16
*** compbenchmarks-config	25 Sep 2006 15:49:38 -0000	1.15
--- compbenchmarks-config	26 Sep 2006 19:12:20 -0000	1.16
***************
*** 738,746 ****
    my $tot = 0;
    my @selected_benchs;
  
    my $bn = $ENV{"HOME"} . "/.compbenchmarks/$hostname/Configuration/benchmarks";
!   @selected_benchs = `$CBM_PROGRAMS{'CAT'} $bn`;
!   chomp(@selected_benchs);
!   
    foreach(@selected_benchs) {
      my $p = cbmc_package_get($_);
--- 738,761 ----
    my $tot = 0;
    my @selected_benchs;
+   my $nobench = 0;
  
    my $bn = $ENV{"HOME"} . "/.compbenchmarks/$hostname/Configuration/benchmarks";
! 
!   if (-f $bn) {
!     $nobench=1;
!   } else {
!     @selected_benchs = `$CBM_PROGRAMS{'CAT'} $bn`;
!     chomp(@selected_benchs);
! 
!     if (!(@selected_benchs+0)) {
!       $nobench=1;
!     }
!   }
! 
!   if ($nobench) {
!     cbmc_dialog_msg("No benchmark selected.\nSelect benchmarks using main menu.", 6, 40);
!     return;
!   }
! 
    foreach(@selected_benchs) {
      my $p = cbmc_package_get($_);
***************
*** 856,859 ****
--- 871,875 ----
  		my $r = `$cmd`;
  		$SIG{INT} = 'DEFAULT';
+ 		`./slowdown.sh`;
  		my $end = time();
  		$TOTAL_TIME+=($end-$beg);
***************
*** 1082,1086 ****
  =head1 NAME
  
! compbenchmarks 0.3.0 - compilers' benchmarking environment
  
  =head1 SYNOPSIS
--- 1098,1102 ----
  =head1 NAME
  
! compbenchmarks-config 0.3.0 - compilers' benchmarking environment
  
  =head1 SYNOPSIS
***************
*** 1102,1106 ****
  missing ones, basically according to your environment.
  
! compbenchmarks-config used compbenchmark program.
  
  =head1 DIRECTORIES
--- 1118,1122 ----
  missing ones, basically according to your environment.
  
! compbenchmarks-config uses compbenchmark program.
  
  =head1 DIRECTORIES
***************
*** 1140,1143 ****
--- 1156,1163 ----
  =back
  
+ =head1 SEE ALSO
+ 
+ Manpage of compbenchmarks
+ 
  =head1 AUTHOR