diff options
Diffstat (limited to 'test/script/check-supported-tools-tables')
| -rwxr-xr-x | test/script/check-supported-tools-tables | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables index 32cebb2d..220c7427 100755 --- a/test/script/check-supported-tools-tables +++ b/test/script/check-supported-tools-tables @@ -1,4 +1,7 @@ -#!/bin/bash -eu +#!/usr/bin/env bash + +set -e +set -u # This script compares the table of supported tools in both the README file # and the doc/ale.txt file, so we can complain if they don't match up. |