diff options
| -rwxr-xr-x | hadrian/build.cabal.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hadrian/build.cabal.sh b/hadrian/build.cabal.sh index 8c7b59492e..2d3138bf33 100755 --- a/hadrian/build.cabal.sh +++ b/hadrian/build.cabal.sh @@ -1,7 +1,7 @@ #!/usr/bin/env bash CABAL=cabal -CABFLAGS="--disable-documentation --disable-profiling" +CABFLAGS="--disable-documentation --disable-profiling --disable-library-profiling" # It is currently more robust to pass Cabal an absolute path to the project file. PROJ="$PWD/hadrian/cabal.project" |