diff --git a/test/Scripts/ignore b/test/Scripts/ignore index 865ae4df1bd..2d02ecf0b19 100755 --- a/test/Scripts/ignore +++ b/test/Scripts/ignore @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # # Program: ignore #