diff --git a/TestScripts/make-benchmarks.sh b/TestScripts/make-benchmarks.sh index 57d12bb9..71b4331e 100755 --- a/TestScripts/make-benchmarks.sh +++ b/TestScripts/make-benchmarks.sh @@ -164,5 +164,3 @@ if [[ ! -z "$current" ]]; then fi [[ "$0" = "$BASH_SOURCE" ]] && exit 0 || return 0 - - \ No newline at end of file