diff options
| -rwxr-xr-x | test/Scripts/ignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Scripts/ignore b/test/Scripts/ignore index 2d02ecf0b1..865ae4df1b 100755 --- a/test/Scripts/ignore +++ b/test/Scripts/ignore @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh # # Program: ignore # |