diff options
author | Eric Wong <e@80x24.org> | 2021-01-01 05:13:18 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-01-01 05:14:00 +0000 |
commit | af0b0fb7a454470a32c452119d0392e0dedb3fe1 (patch) | |
tree | 61f2a7ec71451372792ecbbccc4323a0bafa976e /ci | |
parent | 35ea5266bf71747c3ebec638fd53e23a2522908e (diff) | |
download | public-inbox-af0b0fb7a454470a32c452119d0392e0dedb3fe1.tar.gz |
Using "make update-copyrights" after setting GNULIB_PATH in my config.mak
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 4c273337..643e86c0 100755 --- a/ci/deps.perl +++ b/ci/deps.perl @@ -1,5 +1,5 @@ #!/usr/bin/perl -w -# Copyright (C) 2019-2020 all contributors <meta@public-inbox.org> +# Copyright (C) 2019-2021 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 c891494f..3cd8fa38 100755 --- a/ci/profiles.sh +++ b/ci/profiles.sh @@ -1,5 +1,5 @@ #!/bin/sh -# Copyright (C) 2019-2020 all contributors <meta@public-inbox.org> +# Copyright (C) 2019-2021 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-2020 all contributors <meta@public-inbox.org> +# Copyright (C) 2019-2021 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'} |