mpfrlint: require bash.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/2.4@6660 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 1 insertions, 1 deletions

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.