ci debug

vasild · Aug 29, 2020 · f743ed7 · f743ed7
1 parent 04cfac1
commit f743ed7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ci/test/06_script_a.sh b/ci/test/06_script_a.sh
@@ -46,6 +46,7 @@ if [[ ${USE_MEMORY_SANITIZER} == "true" ]]; then
 fi
 
 BEGIN_FOLD build
+DOCKER_EXEC find ./ -name sha3_256.h -o -name keccak-tiny.h
 DOCKER_EXEC make $MAKEJOBS $GOAL || ( echo "Build failure. Verbose build follows." && DOCKER_EXEC make $GOAL V=1 ; false )
 END_FOLD