This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "".
The branch, master has been updated
via cf7a9c8b3389444093c94997f985a0aa7a140c15 (commit)
from b5f5eb3e5c1eda916cbf405852e75877a6a89668 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit cf7a9c8b3389444093c94997f985a0aa7a140c15
Author: Phil Carns <carns(a)mcs.anl.gov>
Date: Fri Sep 5 10:10:05 2014 -0400
change script to bash rather than sh
- popd is a bash built-in
-----------------------------------------------------------------------
Summary of changes:
maint/hs/setup-cabal-local | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
Diff of changes:
diff --git a/maint/hs/setup-cabal-local b/maint/hs/setup-cabal-local
index 107a19a..1ef3ffc 100755
--- a/maint/hs/setup-cabal-local
+++ b/maint/hs/setup-cabal-local
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
# SETUP-CABAL-LOCAL
# Installs cabal locally
hooks/post-receive
--
