Skip to content
Snippets Groups Projects
Commit 55e442eb authored by Javier Neira 's avatar Javier Neira Committed by Javier Neira
Browse files

Remove not needed hie-bios output

parent 65876c3e
No related tags found
No related merge requests found
Pipeline #19665 passed with warnings
Stage: lint
    Stage: quick-build
      Stage: build
        Stage: full-build
          Stage: cleanup
            Stage: packaging
              Stage: testing
                Hide whitespace changes
                Inline Side-by-side
                Showing
                with 0 additions and 2 deletions
                hadrian/hie-bios.bat
                + 0
                − 2
                View file @ 55e442eb
                set TERM=dumb
                set CABFLAGS=-v0
                %CD%\hadrian\build-cabal.bat tool:%1 -q --build-root=_hie-bios --flavour=ghc-in-ghci > %HIE_BIOS_OUTPUT%
                echo -ighc >> %HIE_BIOS_OUTPUT%
                echo "ghc/Main.hs" >> %HIE_BIOS_OUTPUT%
                \ No newline at end of file
                0% or .
                You are about to add 0 people to the discussion. Proceed with caution.
                Finish editing this message first!
                Please register or to comment