Make build.sh call the default build script (build.cabal.sh)
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Mon, 23 Oct 2017 20:33:32 +0000 (21:33 +0100)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Mon, 23 Oct 2017 20:33:32 +0000 (21:33 +0100)
commit0aa31f9717e1ecb1a0b73a605a6695f8ee11e28a
tree7c79cfb2f95f653c4ff5a8d473f3f297f6e1a52e
parent4df3e2dc441a5d5b6ff61f75573ff4b9a74e562f
Make build.sh call the default build script (build.cabal.sh)

See #428.

Also see #440: build.sh may later be relocated to the top of the GHC tree.
build.cabal.sh [new file with mode: 0644]
build.sh