Fix glob in 'build' command

Change-Id: I0c2c581e882dcb66ada81b756caa97651faa04a9

diff --git a/infra/commands/build.sh b/infra/commands/build.sh
index e850bb5..92927c3 100755 (executable)
--- a/infra/commands/build.sh
+++ b/infra/commands/build.sh
@@ -300,7 +300,7 @@ cp -rf "${output_dir}/"* "${build_target_dir}"
 
 # copy .options files
 mkdir -p "${build_options_dir}"
-cp -f "${target_dir}/*.options" "${build_options_dir}" 2>/dev/null || true
+cp -f "${target_dir}/"*.options "${build_options_dir}" 2>/dev/null || true
 
 echo "Successfully built ${target_dir}!"
 echo "Artifacts location: ${BUILD_ARTIFACTS_DIR}/${target_name}"