autotest.sh: Change from /bin/bash to /usr/bin/env bash

This enables running tests on Unix systems which are not shipped with
bash installed in /bin/bash (eg *BSDs and Solaris).

diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh
index d0b0a89d74a4d38dcee9749c980915ef609ca391..31a6ae8ab557eb31c199f62f5c5ae4755ff22915 100755 (executable)
--- a/tests/tools/autotest.sh
+++ b/tests/tools/autotest.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 libs=""
 genvcd=false