diff options
| -rwxr-xr-x | scripts/ci-build.sh | 4 | ||||
| -rwxr-xr-x | scripts/with-container.sh (renamed from container) | 0 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/ci-build.sh b/scripts/ci-build.sh index 2da3a63..f3c86d2 100755 --- a/scripts/ci-build.sh +++ b/scripts/ci-build.sh @@ -36,5 +36,5 @@ pushd "$CLONE" git config --global user.email git@euandre.org git config --global user.name 'EuAndreh CI' -./container make check site -./container make publish +./scripts/with-container.sh make check site +./scripts/with-container.sh make publish diff --git a/container b/scripts/with-container.sh index 4aa304d..4aa304d 100755 --- a/container +++ b/scripts/with-container.sh |