更新 'bin/ghci.cmd'
This commit is contained in:
parent
3d070cc73a
commit
0c4bd51b1a
|
@ -1,4 +1,4 @@
|
|||
@echo off
|
||||
where ghci.exe >nul 2>nul
|
||||
if errorlevel 1 call v-choco install ghc -y & call %~dp0\v-choco-refreshenv
|
||||
@echo off
|
||||
where ghci.exe >nul 2>nul
|
||||
if errorlevel 1 call choco install ghc -y & call %~dp0\v-choco-refreshenv
|
||||
ghci.exe %*
|
Loading…
Reference in New Issue