From 8e88e765ee17296a85c5ae372471ed248ce321db Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex@adnab.me>
Date: Wed, 19 Apr 2017 11:37:40 +0200
Subject: Mini reorganization

---
 make_cdrom.sh | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

(limited to 'make_cdrom.sh')

diff --git a/make_cdrom.sh b/make_cdrom.sh
index 961ae7b..e6ef212 100755
--- a/make_cdrom.sh
+++ b/make_cdrom.sh
@@ -27,15 +27,13 @@ cp build/$TY/kernel.bin cdrom/boot; $STRIP cdrom/boot/kernel.bin
 cp build/$TY/sysbin/init.bin cdrom/boot; $STRIP cdrom/boot/init.bin
 
 mkdir -p cdrom/sys/bin
-for BIN in giosrv.bin login.bin terminal.bin shell.bin; do
-	cp build/$TY/sysbin/$BIN cdrom/sys/bin
-	$STRIP cdrom/sys/bin/$BIN
-done
-
-mkdir -p cdrom/bin
-for BIN in lua.bin luac.bin; do
-	cp build/$TY/bin/$BIN cdrom/bin
-	$STRIP cdrom/bin/$BIN
+for BIN in giosrv.bin login.bin terminal.bin shell.bin lua.bin luac.bin; do
+	if [ -e build/$TY/sysbin/$BIN ]; then
+		cp build/$TY/sysbin/$BIN cdrom/sys/bin
+		$STRIP cdrom/sys/bin/$BIN
+	else
+		print "Skipping binary $BIN: not found!"
+	fi
 done
 
 mkdir -p cdrom/sys/fonts
-- 
cgit v1.2.3