summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2020-03-22 12:05:04 +0100
committerAkim Demaille <akim.demaille@gmail.com>2020-03-22 15:59:14 +0100
commit5b0b0a1e08195fd31ff4a8c171a390d8f2aa7ec9 (patch)
treef79a92414a3a7912d1d7fccd1567fc27dbb69ac4 /etc
parent1c694e08cc5c1a28a4311551b4ec04ee21fe6f22 (diff)
downloadbison-5b0b0a1e08195fd31ff4a8c171a390d8f2aa7ec9.tar.gz
bench: add a "latest" symlink
* etc/bench.pl.in: here.
Diffstat (limited to 'etc')
-rwxr-xr-xetc/bench.pl.in5
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index d49742f1..023c2b01 100755
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -1228,6 +1228,11 @@ my $count = 1;
my $dir = "benches/$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 symlink";
chdir $dir
or die "cannot chdir $dir";