From 976d12b1ac57cd0700da7d74657bfd5f2215dc25 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 25 Feb 2020 11:04:47 +0100
Subject: [PATCH] more debugging; show contents of /boot at intermediate stages

---
 prep.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/prep.sh b/prep.sh
index 1723a2c..8c7dc01 100755
--- a/prep.sh
+++ b/prep.sh
@@ -48,7 +48,11 @@ echo "* Creating fedora root image"
 pl_root_makedevs $bootcd
 pkgsfile=$(pl_locateDistroFile ../build/ $pldistro bootcd.pkgs) 
 pl_root_mkfedora $bootcd $pldistro $pkgsfile
+echo "** DBG1 - contents of /boot after mkfedora"
+ls -R $bootcd/boot
 pl_root_tune_image $bootcd
+echo "** DBG2 - contents of /boot after tune_image"
+ls -R $bootcd/boot
 
 # Add site_admin console account to BootCD: with root priv, and self passwd
 echo "* Creating site_admin account"
-- 
2.43.0