diff --git a/.datakitci.json b/.datakitci.json new file mode 100644 index 000000000..baebda5d5 --- /dev/null +++ b/.datakitci.json @@ -0,0 +1 @@ +{"variants":["aufs"]} diff --git a/Makefile b/Makefile index 7f35cead2..67cf4514b 100644 --- a/Makefile +++ b/Makefile @@ -100,18 +100,11 @@ ci: $(MAKE) all $(MAKE) test $(MAKE) media - $(MAKE) clean - $(MAKE) AUFS=1 all - $(MAKE) AUFS=1 test - $(MAKE) AUFS=1 media ci-pr: $(MAKE) clean $(MAKE) all $(MAKE) test - $(MAKE) clean - $(MAKE) AUFS=1 all - $(MAKE) AUFS=1 test .PHONY: clean