From dcc62ea054f30281d020b604b522e84029c57268 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Fri, 12 Jan 2024 12:35:59 +0100 Subject: [PATCH] debug --- .github/dockerfiles/Dockerfile.64-bit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/dockerfiles/Dockerfile.64-bit b/.github/dockerfiles/Dockerfile.64-bit index 52b91ed63028..11ad4bf7be27 100644 --- a/.github/dockerfiles/Dockerfile.64-bit +++ b/.github/dockerfiles/Dockerfile.64-bit @@ -25,7 +25,7 @@ RUN if [ ! -f Makefile ]; then \ # ENV ERL_AFLAGS="-eval '[begin dbg:tracer(),dbg:p(all,c),dbg:tpl(epp,expand_lib_dir,x),dbg:tpl(epp,scan_include_lib1,x),dbg:tpl(epp,enter_file2,x),dbg:tp(file,path_open,x),dbg:tp(file,open,x) end || lists:member(\"etop.erl\",erlang:system_info(emu_args))].'" -RUN V=1 MAKEFLAGS= make --debug=basic +RUN V=1 make --debug=basic RUN make docs DOC_TARGETS=chunks && \ sudo make install install-docs DOC_TARGETS=chunks