From 6ca017238c76946cd292bd534698ed52573fe2d0 Mon Sep 17 00:00:00 2001 From: Nicolas Setton Date: Thu, 7 Feb 2019 11:41:24 -0500 Subject: [PATCH] Activate GNAT warnings when running Ada snippets --- infrastructure/container_payload/run.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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