From 3ab12c1036812ef855385c947598284241f746b1 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sat, 25 Apr 2020 11:34:06 +0200 Subject: bench: store in benches/012 rather than in benches/12 * etc/bench.pl.in ($basedir): New. Format $count with a least three digits. --- etc/bench.pl.in | 29 ++++++++++++++++++----------- 1 file changed, 18 insertions(+), 11 deletions(-) (limited to 'etc') diff --git a/etc/bench.pl.in b/etc/bench.pl.in index 1498dd6f..96299939 100755 --- a/etc/bench.pl.in +++ b/etc/bench.pl.in @@ -1163,19 +1163,26 @@ sub getopt () getopt; +my $basedir = 'benches'; + # Create the directory we work in. -mkdir "benches" or die "cannot create benches" - unless -d "benches"; -my $count = 1; -++$count - while -d "benches/$count"; -my $dir = "benches/$count"; +mkdir $basedir or die "cannot create directory $basedir" + unless -d $basedir; + +my $count = 0; +my $dir; +while (!$dir || -d $dir) +{ + ++$count; + $dir = sprintf "%s/%03d", $basedir, $count; +} mkdir $dir - or die "cannot create $dir"; -unlink "benches/latest" - or die "cannot unlink benches/latest" - if -l "benches/latest"; -symlink $count, "benches/latest" + or die "cannot create directory $dir"; + +unlink "$basedir/latest" + or die "cannot unlink $basedir/latest" + if -l "$basedir/latest"; +symlink sprintf("%03d", $count), "$basedir/latest" or die "cannot create symlink"; chdir $dir or die "cannot chdir $dir"; -- cgit v1.2.1