Hadrian: Allow passing CABFLAGS into build.cabal.sh
[ghc.git] / hadrian / build.cabal.sh
index 13ef927..55ae958 100755 (executable)
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 
 CABAL=cabal
-CABFLAGS="--disable-documentation --disable-profiling --disable-library-profiling"
+CABFLAGS="--disable-documentation --disable-profiling --disable-library-profiling $CABFLAGS"
 
 # It is currently more robust to pass Cabal an absolute path to the project file.
 PROJ="$PWD/hadrian/cabal.project"