diff --git a/scripts/obtain/dotnet-install.sh b/scripts/obtain/dotnet-install.sh
index bb529c501..2fd9b3cf7 100755
--- a/scripts/obtain/dotnet-install.sh
+++ b/scripts/obtain/dotnet-install.sh
@@ -544,6 +544,7 @@ copy_files_or_dirs_from_list() {
         local target="$out_path"/"$path"
         if [ "$override" = true ] || (! ([ -d "$target" ] || [ -e "$target" ])); then
             mkdir -p "$out_path"/"$(dirname "$path")"
+            say "cp -R $override_switch $root_path/$path $target"
             cp -R "$override_switch" "$root_path"/"$path" "$target"
         fi
     done