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/run.sh | |
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/run.sh')
-rwxr-xr-x | ci/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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'} |