diff --git a/dev/deduplicatefilelinesrecursively.sh b/dev/deduplicatefilelinesrecursively.sh index 2aaa05c0934..ad64e546829 100755 --- a/dev/deduplicatefilelinesrecursively.sh +++ b/dev/deduplicatefilelinesrecursively.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Recursively deduplicate file lines on a per file basis # Useful to deduplicate language files #