diff options
-rwxr-xr-x | toolbin/extract_variants | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toolbin/extract_variants b/toolbin/extract_variants index 9ad52e1..84a91c6 100755 --- a/toolbin/extract_variants +++ b/toolbin/extract_variants @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash print_ext () { ls -d -- "$1"{,.delete,.patch} 2>/dev/null |