checker/checker.sh

@@ -8,7 +8,7 @@ cp -r "$CHECKER_DATA_DIRECTORY"/../tests ..
 # Everything happens in the tests/ directory.
 pushd ../tests > /dev/null || exit 1
 
-echo -e "### RUNING LINTER\n\n"
+echo -e "\n\n### RUNING LINTER\n\n"
 make lint
 
 echo -e "\n\n### RUNING CHECKER\n\n"

local.sh

@@ -242,6 +242,8 @@ checker_main() {
 
     tmpdir="$(mktemp -d)"
     cp -R ./* "$tmpdir"
+    cp ./.checkpatch.conf "$tmpdir"
+    cp ./.shellcheckrc "$tmpdir"
 
     LOG_INFO "Running checker..."