diff options
author | alexbiehl-gc <72160047+alexbiehl-gc@users.noreply.github.com> | 2021-02-07 18:14:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-07 18:14:46 +0100 |
commit | 0f7ff041fb824653a7930e1292b81f34df1e967d (patch) | |
tree | 3e7f15ac3b0abe417797ec89275aa1209f6ca297 /html-test/run | |
parent | 9f597b6647a53624eaf501a34bfb4d8d15425929 (diff) | |
parent | 010f0320dff64e3f86091ba4691bc69ce6999647 (diff) |
Merge pull request #1317 from bgamari/wip/ghc-head-merge
Merge ghc-8.10 into ghc-head
Diffstat (limited to 'html-test/run')
-rwxr-xr-x | html-test/run | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/html-test/run b/html-test/run index 3e72be80..c14ab7b5 100755 --- a/html-test/run +++ b/html-test/run @@ -3,4 +3,5 @@ export HADDOCK_PATH=$(which haddock) LIB_PATH="$(dirname "$BASH_SOURCE")/../haddock-test/src/" MAIN_PATH="$(dirname "$BASH_SOURCE")/Main.hs" -runhaskell -i:"$LIB_PATH" $MAIN_PATH $@ +if [ -z "$RUNHASKELL" ]; then RUNHASKELL=runhaskell; fi +$RUNHASKELL -i:"$LIB_PATH" $MAIN_PATH $@ |