From f5f38165966b1e320bbda81b1ee7c143266161ce Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 29 Jun 2014 07:51:09 -0700
Subject: [PATCH] chore(tests): cleanup test scripts

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 tests/lean/interactive/test_single.sh | 4 ++--
 tests/lean/test.sh                    | 2 +-
 tests/lean/test_single.sh             | 4 ++--
 tests/lean/test_single_pp.sh          | 2 +-
 tests/lua/test.sh                     | 2 +-
 tests/lua/test_single.sh              | 4 ++--
 6 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/tests/lean/interactive/test_single.sh b/tests/lean/interactive/test_single.sh
index 6910f883e..8e632559b 100755
--- a/tests/lean/interactive/test_single.sh
+++ b/tests/lean/interactive/test_single.sh
@@ -1,6 +1,6 @@
-#!/bin/bash
+#!/usr/bin/env bash
 if [ $# -ne 3 -a $# -ne 2 ]; then
-    echo "Usage: test.sh [lean-executable-path] [file] [yes/no]?"
+    echo "Usage: test_single.sh [lean-executable-path] [file] [yes/no]?"
     exit 1
 fi
 ulimit -s unlimited
diff --git a/tests/lean/test.sh b/tests/lean/test.sh
index d6c399da3..1001f8cee 100755
--- a/tests/lean/test.sh
+++ b/tests/lean/test.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 if [ $# -ne 2 -a $# -ne 1 ]; then
     echo "Usage: test.sh [lean-executable-path] [yes/no]?"
     exit 1
diff --git a/tests/lean/test_single.sh b/tests/lean/test_single.sh
index b0413c959..5f6616512 100755
--- a/tests/lean/test_single.sh
+++ b/tests/lean/test_single.sh
@@ -1,6 +1,6 @@
-#!/bin/bash
+#!/usr/bin/env bash
 if [ $# -ne 3 -a $# -ne 2 ]; then
-    echo "Usage: test.sh [lean-executable-path] [file] [yes/no]?"
+    echo "Usage: test_single.sh [lean-executable-path] [file] [yes/no]?"
     exit 1
 fi
 ulimit -s 8192
diff --git a/tests/lean/test_single_pp.sh b/tests/lean/test_single_pp.sh
index cb7246a80..bf24352a1 100755
--- a/tests/lean/test_single_pp.sh
+++ b/tests/lean/test_single_pp.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Script for testing if Lean can parse the output produced by its
 # pretty printer
 if [ $# -ne 2 ]; then
diff --git a/tests/lua/test.sh b/tests/lua/test.sh
index 625a8f616..473c63641 100755
--- a/tests/lua/test.sh
+++ b/tests/lua/test.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 if [ $# -ne 1 ]; then
     echo "Usage: test.sh [lean-executable-path]"
     exit 1
diff --git a/tests/lua/test_single.sh b/tests/lua/test_single.sh
index a94e2a90e..b268ce7c1 100755
--- a/tests/lua/test_single.sh
+++ b/tests/lua/test_single.sh
@@ -1,6 +1,6 @@
-#!/bin/bash
+#!/usr/bin/env bash
 if [ $# -ne 2 ]; then
-    echo "Usage: test.sh [lean-executable-path] [file]"
+    echo "Usage: test_single.sh [lean-executable-path] [file]"
     exit 1
 fi
 ulimit -s unlimited