diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/mcode/windows/compile.ps1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dist/mcode/windows/compile.ps1 b/dist/mcode/windows/compile.ps1 index 2dea73a..6f208ee 100644 --- a/dist/mcode/windows/compile.ps1 +++ b/dist/mcode/windows/compile.ps1 @@ -212,10 +212,10 @@ elseif ($Compile) if ($Script_ExitCode -eq 0)
{ #
Write-Host " stripping executable..."
- #& $StripExecutable $GHDLExecutable
+ & $StripExecutable $GHDLExecutable
}
- if ($true) #$Script_ExitCode -eq 0)
+ if ($Script_ExitCode -eq 0)
{ # compile with GNAT
$Parameters = @()
$Parameters += $CFlags
|