diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-03-22 12:05:04 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-03-22 15:59:14 +0100 |
commit | 5b0b0a1e08195fd31ff4a8c171a390d8f2aa7ec9 (patch) | |
tree | f79a92414a3a7912d1d7fccd1567fc27dbb69ac4 /etc | |
parent | 1c694e08cc5c1a28a4311551b4ec04ee21fe6f22 (diff) | |
download | bison-5b0b0a1e08195fd31ff4a8c171a390d8f2aa7ec9.tar.gz |
bench: add a "latest" symlink
* etc/bench.pl.in: here.
Diffstat (limited to 'etc')
-rwxr-xr-x | etc/bench.pl.in | 5 |
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"; |