mirror of
https://github.com/checkpoint-restore/criu
synced 2025-08-22 09:58:09 +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>
14 lines
401 B
Bash
14 lines
401 B
Bash
#!/bin/bash
|
|
|
|
KERN_MAJ=`uname -r | cut -d. -f1`
|
|
KERN_MIN=`uname -r | cut -d. -f2`
|
|
if [ $KERN_MAJ -ge "4" ] && [ $KERN_MIN -ge "11" ]; then
|
|
LAZY_EXCLUDE="-x cmdlinenv00 -x maps007"
|
|
else
|
|
LAZY_EXCLUDE="-x maps007 -x fork -x fork2 -x uffd-events -x cgroupns
|
|
-x socket_listen -x socket_listen6 -x cmdlinenv00
|
|
-x socket_close_data01 -x file_read"
|
|
fi
|
|
|
|
LAZY_EXCLUDE="$LAZY_EXCLUDE -x maps04"
|