Convert into single docker image, change volume structure etc

Makefile inconsistent!
2018-02-23 10:17:37 +01:00
parent 8c4f64cf96
commit 06437ac0b8
14 changed files with 104 additions and 161 deletions
--- a/checker/run-checker
+++ b/checker/run-checker
@@ -35,6 +35,8 @@ fi
 submodules=${cloner_submodules:-0}
 depth=${cloner_submodule_depth:-}

+export HOME=$CCLONE_CACHE
+
 prepareGitAuth $CONFIG_DIR

 # without submodule support