diff --git a/scripts/find_all_source_files.scp b/scripts/find_all_source_files.scp index 28c6df8442..52a7dec863 100755 --- a/scripts/find_all_source_files.scp +++ b/scripts/find_all_source_files.scp @@ -47,6 +47,6 @@ suffixes="c|cxx|h|hxx" # Find all files with the appropriate suffix in the # src/ example/ test/ and tutorials/ subfolder. -files=`find ../src ../example ../test ../tutorials -regextype egrep -iregex ".*\.($suffixes)"` +files=`find ../src ../example ../test ../tutorials ../benchmarks -regextype egrep -iregex ".*\.($suffixes)"` echo $files diff --git a/scripts/indent_all_files.scp b/scripts/indent_all_files.scp index 63a174bf7c..5c9b14e68d 100755 --- a/scripts/indent_all_files.scp +++ b/scripts/indent_all_files.scp @@ -54,6 +54,7 @@ echo $PWD/../src/ echo $PWD/../example/ echo $PWD/../test/ echo $PWD/../tutorials/ +echo $PWD/../benchmarks/ echo read -p "Are you sure? ('Y' or 'y' to continue)" -n 1 -r echo