Merging Debian /firmware directories like the /pool directories

test/merge_debian_isos

@@ -732,8 +732,29 @@ do
   fi
 done
 
+for mount_point in $MOUNT_LIST
+do
+  if test "$mount_point" = "$mount_point_1"
+  then
+    if test -d "${mount_point}/firmware"
+    then
+      echo \
+    "Planned as imported /firmware        : ${mount_point}/firmware" >&2
+    fi
+  else
+    if test -d "${mount_point}/firmware"
+    then
+      echo \
+    "Planned for merging into /firmware   : ${mount_point}/firmware" >&2
+      echo " -map ${mount_point}/firmware /firmware" >>temp_file
+    fi
+  fi
+done
+
 if test "$XORRISO" = dummy
 then
+  echo "Planned xorriso commands in temp_file:" >&2
+  cat temp_file
   echo >&2
   echo 'NOTE: Variable XORRISO is set to "dummy".' >&2
   echo '      Will not perform xorriso run but only show its arguments:' >&2