From 97d94a8158260d23e4b790bd95b2cf69e7baebb6 Mon Sep 17 00:00:00 2001 From: Ivan <8611739+IRBorisov@users.noreply.github.com> Date: Mon, 14 Oct 2024 12:39:55 +0300 Subject: [PATCH] Improve diagnostic output for parser generation --- scripts/BuildParser.ps1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/BuildParser.ps1 b/scripts/BuildParser.ps1 index 01643ea..d985f8b 100644 --- a/scripts/BuildParser.ps1 +++ b/scripts/BuildParser.ps1 @@ -11,7 +11,7 @@ function BuildParser { } Set-Location -Path ${workDir} Write-Host "Building ${grammar}" - & $bison $grammar + & $bison $grammar -Wcounterexamples if ($LASTEXITCODE -ne 0) { Write-Error 'Grammar generation failed' Exit 1