diff options
author | Eric Wong <e@yhbt.net> | 2020-02-06 13:14:48 -0600 |
---|---|---|
committer | Eric Wong <e@yhbt.net> | 2020-02-06 13:14:48 -0600 |
commit | 95bdac7f09c69036efed537a4d03d5bdd2ae4eb6 (patch) | |
tree | 29d0cab2d3e75a3bf93a0f1d9ff33b55f3c72178 /ci | |
parent | 0e0c72a1f6656a0f138844af3bb955c5ab9a1afa (diff) | |
download | public-inbox-95bdac7f09c69036efed537a4d03d5bdd2ae4eb6.tar.gz |
I didn't wait until September to do it, this year!
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/deps.perl | 2 | ||||
-rwxr-xr-x | ci/profiles.sh | 2 | ||||
-rwxr-xr-x | ci/run.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/ci/deps.perl b/ci/deps.perl index 93cc5d25..5ecf9c9f 100755 --- a/ci/deps.perl +++ b/ci/deps.perl @@ -1,5 +1,5 @@ #!/usr/bin/perl -w -# Copyright (C) 2019 all contributors <meta@public-inbox.org> +# Copyright (C) 2019-2020 all contributors <meta@public-inbox.org> # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt> # Helper script for installing/uninstalling packages for CI use # Intended for use on non-production chroots or VMs since it diff --git a/ci/profiles.sh b/ci/profiles.sh index d559ec5f..c891494f 100755 --- a/ci/profiles.sh +++ b/ci/profiles.sh @@ -1,5 +1,5 @@ #!/bin/sh -# Copyright (C) 2019 all contributors <meta@public-inbox.org> +# Copyright (C) 2019-2020 all contributors <meta@public-inbox.org> # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt> # Prints OS-specific package profiles to stdout (one per-newline) to use @@ -1,5 +1,5 @@ #!/bin/sh -# Copyright (C) 2019 all contributors <meta@public-inbox.org> +# Copyright (C) 2019-2020 all contributors <meta@public-inbox.org> # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt> set -e SUDO=${SUDO-'sudo'} PERL=${PERL-'perl'} MAKE=${MAKE-'make'} |