From 6f156fe3d766e29d879542b76fb8f183d8421761 Mon Sep 17 00:00:00 2001
From: "Edward J. Schwartz" <edmcman@cmu.edu>
Date: Thu, 5 Sep 2024 12:33:56 -0400
Subject: [PATCH] Second try

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 3fff0a1c..27b8add0 100644
--- 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"