mirror of
https://github.com/checkpoint-restore/criu
synced 2025-08-22 01:51:51 +00:00
d38851c9bd
We permanently have issues like this: ./test/jenkins/criu-iter.sh: 3: source: not found It looks like a good idea to use one shell to run our jenkins scripts. Signed-off-by: Andrei Vagin <avagin@gmail.com>
7 lines
91 B
Bash
Executable File
7 lines
91 B
Bash
Executable File
#!/bin/bash
|
|
|
|
source `dirname $0`/criu-lib.sh &&
|
|
prep &&
|
|
make -C test other &&
|
|
true || fail
|