diff --git a/scripts/list-source-files b/scripts/list-source-files index 09550eed8..3ab87a93f 100755 --- a/scripts/list-source-files +++ b/scripts/list-source-files @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh list_source_files() { local d r