[Pkg-mozext-commits] [requestpolicy] 42/80: Makefile: choose `/bin/bash` as the shell

David Prévot taffit at moszumanska.debian.org
Sun Jul 5 15:02:27 UTC 2015


This is an automated email from the git hooks/post-receive script.

taffit pushed a commit to branch master
in repository requestpolicy.

commit 6928f5856a4fc0bd67a2a9e2228ba5dca52947fa
Author: Martin Kimmerle <dev at 256k.de>
Date:   Sun Jun 7 01:28:36 2015 +0200

    Makefile: choose `/bin/bash` as the shell
---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 9f9cbaf..16a0ee2 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,8 @@
 # general variables
 #
 
+SHELL := /bin/bash
+
 extension_name := requestpolicy
 
 # ____________________________________

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mozext/requestpolicy.git



More information about the Pkg-mozext-commits mailing list