Second try

cmu-sei · Sep 5, 2024 · 6f156fe · 6f156fe
1 parent 93ad722
commit 6f156fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -3,7 +3,7 @@ FROM ubuntu:latest
 ARG NCPU=1
 ENV NCPU=$NCPU
 
-ENV VERBOSE=1
+ENV NINJAFLAGS="-v"
 
 # This will reduce the memory usage by default
 ARG CXXFLAGS="--param ggc-min-expand=5 --param ggc-min-heapsize=32768"