diff options
author | Adrian Reber <areber@redhat.com> | 2022-05-02 09:45:16 +0300 |
---|---|---|
committer | Andrei Vagin <avagin@gmail.com> | 2022-05-05 22:42:14 +0300 |
commit | f635b61f494964a6feb74fd6ecc2ab75a7e59a10 (patch) | |
tree | 617d15c691f8d2c19a5ca41708c8ceb757bff61f | |
parent | 2f0f12839673c7d82cfc18e99d7e35ed7192906b (diff) |
test: install criu in /usr
GitHub Actions comes with pre-installed criu in /usr. configure scripts
looking for CRIU will pickup the pre-installed version in /usr if we do
not install CI criu also in /usr.
Signed-off-by: Adrian Reber <areber@redhat.com>
-rwxr-xr-x | scripts/ci/podman-test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci/podman-test.sh b/scripts/ci/podman-test.sh index 1d851efbc..414004514 100755 --- a/scripts/ci/podman-test.sh +++ b/scripts/ci/podman-test.sh @@ -7,7 +7,7 @@ export SKIP_CI_TEST=1 cd ../../ -make install +make install PREFIX=/usr criu --version |