More debug

dgud · Jan 11, 2024 · f38a3dc · f38a3dc
1 parent ac6c0b1
commit f38a3dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/dockerfiles/Dockerfile.64-bit b/.github/dockerfiles/Dockerfile.64-bit
@@ -22,7 +22,7 @@ RUN if [ ! -f Makefile ]; then \
       find . -type f -newer README.md | xargs tar --transform 's:^./:otp/:' -cf ../otp_cache.tar; \
     fi && \
     sudo apt-get update && sudo apt-get install -y tree && \
-    V=1 make --debug=basic all_bootstraps && tree && bootstrap/bin/erl -noinput -s init stop \
+    V=1 make --debug=basic all_bootstraps && tree && bootstrap/bin/erl -noinput -s init stop && \
     V=1 make --debug=basic && make docs DOC_TARGETS=chunks && \
     sudo make install install-docs DOC_TARGETS=chunks