From 43fa7141c83bb0abf223cda2eb2d758a0c82214f Mon Sep 17 00:00:00 2001
From: vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>
Date: Fri, 15 Jan 2010 01:57:16 +0000
Subject: mpfrlint: require bash.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/2.4@6660 280ebfd0-de03-0410-8827-d642c229c3f4
---
 mpfrlint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mpfrlint b/mpfrlint
index 1485558fb..5dd5fc503 100755
--- a/mpfrlint
+++ b/mpfrlint
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 # Check possible problems in the MPFR source.
 
-- 
cgit v1.2.1