diff options
| author | Eric Wong <e@80x24.org> | 2022-11-28 05:31:57 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2022-11-28 23:38:57 +0000 |
| commit | 225b9614f1e883273dada2709dead9ddb7fe40c8 (patch) | |
| tree | 6e53206dfc53d825bd08d1b4f69ef0d20e6b8d7d /script | |
| parent | 1e8bb2afbb95942dbed5e0ccc747c50fb90fe2a6 (diff) | |
| download | public-inbox-225b9614f1e883273dada2709dead9ddb7fe40c8.tar.gz | |
Another small step in what will probably a be a decades-long quest to reduce startup time by a few milliseconds.
Diffstat (limited to 'script')
| -rwxr-xr-x | script/public-inbox-clone | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script/public-inbox-clone b/script/public-inbox-clone index a5651e5f..26f42e74 100755 --- a/script/public-inbox-clone +++ b/script/public-inbox-clone @@ -2,8 +2,7 @@ # Copyright (C) all contributors <meta@public-inbox.org> # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt> # Wrapper to git clone remote public-inboxes -use strict; -use v5.10.1; +use v5.12; use Getopt::Long qw(:config gnu_getopt no_ignore_case auto_abbrev); my $opt = {}; my $help = <<EOF; # the following should fit w/o scrolling in 80x24 term: |