mirror of
https://github.com/checkpoint-restore/criu.git
synced 2026-01-23 18:25:14 +00:00
e7cbeddff3
CRIU is already using multiple CI systems and not just Travis. This renames all Travis related things to 'ci' to show it is actually independent of Travis. Just a simple rename. Signed-off-by: Adrian Reber <areber@redhat.com>
4 lines
109 B
Bash
4 lines
109 B
Bash
SKIP_CI_PREP=1
|
|
ZDTM_OPTS=-x zdtm/static/binfmt_misc -x zdtm/static/sched_policy00
|
|
CC=gcc
|
|
SKIP_EXT_DEV_TEST=1
|