| Age | Commit message (Collapse) | Author |
|---|
|
This mirrors the build by ./ci/lint_imagefile, which is done out-of-tree
in "/".
Otherwise, there could be errors due to a dirty tree.
|
|
|
|
Previous code was confusing and brittle. For example, the full import
"source ./ci/test/00_setup_env.sh" and $PATH overwrite was not needed.
Fix it by simply copying the exe to /ci_retry and use that in
$CI_RETRY_EXE.
This is also a fix, because previously ci/lint_imagefile did use an
empty $CI_RETRY_EXE.
|
|
This is needed for the container-entrypoint.sh
Also, remove unused `source` from ci/lint_run_all.sh, since it is the
last step.
|
|
-BEGIN VERIFY SCRIPT-
./contrib/devtools/copyright_header.py update ./
-END VERIFY SCRIPT-
|
|
|
|
Also merge script into ci/lint_run_all.sh because env vars weren't
exported properly
|
