diff --git a/infrastructure/container_payload/run.py b/infrastructure/container_payload/run.py
index 7eade0e..45fce56 100644
--- a/infrastructure/container_payload/run.py
+++ b/infrastructure/container_payload/run.py
@@ -158,7 +158,7 @@ def safe_run(workdir, mode):
             main = doctor_main_gpr(workdir, False)
 
             # In "run" mode, first build, and then launch the main
-            if c(["gprbuild", "-q", "-P", "main"]):
+            if c(["gprbuild", "-q", "-P", "main", "-gnatwa"]):
                 # We run:
                 #  - as user 'unprivileged' that has no write access
                 #  - under a timeout