diff options
-rw-r--r-- | hadrian/build.cabal.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hadrian/build.cabal.bat b/hadrian/build.cabal.bat index 3344791bc8..aa0acab4e4 100644 --- a/hadrian/build.cabal.bat +++ b/hadrian/build.cabal.bat @@ -1,6 +1,6 @@ @echo off set CABAL=cabal -set CABFLAGS=--disable-documentation --disable-profiling +set CABFLAGS=--disable-documentation --disable-profiling --disable-library-profiling rem It is currently more robust to pass Cabal an absolute path to the project file. set PROJ="%CD%/hadrian/cabal.project" |