Exit the build script if Hadrian cannot be built
[hadrian.git] / build.stack.bat
1 @rem Change the current directory to the one containing this script
2 @cd %~dp0
4 @rem Build Hadrian and dependencies and exit the script if the build failed
5 @stack build
6 @if %errorlevel% neq 0 exit /B %errorlevel%
8 @rem Run Hadrian in GHC top directory forwarding additional user arguments
9 @stack exec hadrian -- --lint --directory ".." %*