From 13540a1d5021c335b1d8dc923673ab80b0bd5282 Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Sun, 14 Dec 2014 10:22:37 +0200 Subject: [PATCH] Add Jenkins nightly script --- jenkins-nightly.sh | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 jenkins-nightly.sh diff --git a/jenkins-nightly.sh b/jenkins-nightly.sh new file mode 100755 index 00000000..008e90d1 --- /dev/null +++ b/jenkins-nightly.sh @@ -0,0 +1,5 @@ +#!/bin/bash -ex + +cabal update +cabal install +./dist/build/stackage-nightly/stackage-nightly