diff --git a/dsf-gdb/org.eclipse.cdt.tests.dsf.gdb/scripts/download-build-gdb.sh b/dsf-gdb/org.eclipse.cdt.tests.dsf.gdb/scripts/download-build-gdb.sh
index 17406454940..806449cf984 100755
--- a/dsf-gdb/org.eclipse.cdt.tests.dsf.gdb/scripts/download-build-gdb.sh
+++ b/dsf-gdb/org.eclipse.cdt.tests.dsf.gdb/scripts/download-build-gdb.sh
@@ -79,9 +79,10 @@ function echo_header() {
 # $1: version number
 function check_supported() {
   local supported_pattern="@(${default_versions// /|})"
+  local version="$1"
 
   shopt -s extglob
-  case "$version" in 
+  case "$version" in
     ${supported_pattern})
       # Supported, do nothing.
       ;;