diff options
Diffstat (limited to 'dist/mcode/windows/compile-ghdl.ps1')
-rw-r--r-- | dist/mcode/windows/compile-ghdl.ps1 | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/dist/mcode/windows/compile-ghdl.ps1 b/dist/mcode/windows/compile-ghdl.ps1 index 51fd0a1d5..2938683db 100644 --- a/dist/mcode/windows/compile-ghdl.ps1 +++ b/dist/mcode/windows/compile-ghdl.ps1 @@ -228,15 +228,6 @@ if ($Compile_GHDL) { Write-Host " [FAILED]" -ForegroundColor Red Exit-CompileScript -1 } - - # restore the version file if it was patched - if (-not $Release -and $Git_IsGitRepo) - { $error = Restore-PatchedVersionFile $GHDLRootDir - if ($error -eq $true) - { Write-Host " [FAILED]" -ForegroundColor Red - Exit-CompileScript -1 - } - } } |