| Index: src/platform/installer/chromeos-setimage
 | 
| diff --git a/src/platform/installer/chromeos-setimage b/src/platform/installer/chromeos-setimage
 | 
| index a661ceabe9f7f5d90852321d71148519734a788c..ff06eee6e7836e5734b2cc43e7e37ab7cac8a5c1 100755
 | 
| --- a/src/platform/installer/chromeos-setimage
 | 
| +++ b/src/platform/installer/chromeos-setimage
 | 
| @@ -48,7 +48,6 @@ then
 | 
|    exit 1
 | 
|  fi
 | 
|  
 | 
| -
 | 
|  # Mount the EFI System Partition
 | 
|  mountpoint=$(mktemp -d  /tmp/mountesp_XXXXXXXXX)
 | 
|  tempfile=$(mktemp /tmp/grubcfg_XXXXXXXXX)
 | 
| @@ -56,11 +55,13 @@ sudo mount ${FLAGS_dst}12 ${mountpoint}
 | 
|  
 | 
|  # Make the change
 | 
|  if [ -n "${newimg:-}" ]; then
 | 
| -  sed -e "s/^set default=.*/set default=$newimg/" \
 | 
| +  echo "Update boot default to menu item $newimg"
 | 
| +  sed -e "s/^set default=.*/set default=${newimg}/" \
 | 
|      ${mountpoint}/efi/boot/grub.cfg > ${tempfile}
 | 
|    sudo cp ${tempfile} ${mountpoint}/efi/boot/grub.cfg
 | 
|  fi
 | 
|  
 | 
| +echo "Current boot default is:"
 | 
|  # Print the [new] default choice
 | 
|  grep -qs '^set default=0' ${mountpoint}/efi/boot/grub.cfg && echo "A"
 | 
|  grep -qs '^set default=1' ${mountpoint}/efi/boot/grub.cfg && echo "B"
 | 
| 
 |