From b232231065f5e40ae3a6bd515bb42330cf484fcc Mon Sep 17 00:00:00 2001
From: Matthew Pickering <matthewtpickering@gmail.com>
Date: Sun, 10 Mar 2019 17:32:47 +0000
Subject: Hadrian: Allow passing CABFLAGS into build.cabal.sh

Setting `CABFLAGS=args` will pass the additional arguments to cabal
when it is invoked.
---
 hadrian/build.cabal.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'hadrian')

diff --git a/hadrian/build.cabal.sh b/hadrian/build.cabal.sh
index 13ef927f8e..55ae958e9a 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 --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"
-- 
cgit v1.2.1