ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Activate GNAT warnings when running Ada snippets

Browse Source
This commit is contained in:
Nicolas Setton
2019-02-07 11:41:24 -05:00
parent b53ad5363c
commit 6ca017238c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
infrastructure/container_payload/run.py
View File

@@ -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