From ec373032c572b075be5d92470d73693de808d458 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Mon, 4 Jun 2018 23:27:16 +0200
Subject: [PATCH] disk-create.sh: look for syslinux library in com32

---
 disk-create.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/disk-create.sh b/disk-create.sh
index 936e62d..b0551ba 100755
--- a/disk-create.sh
+++ b/disk-create.sh
@@ -37,7 +37,11 @@ if [ -d $JEHANNE/hacking/disk-setup/bios/ ]; then
 else
 	mkdir $JEHANNE/hacking/disk-setup/bios/
 fi
-cp $SYSLINUXBIOS/lib* $JEHANNE/hacking/disk-setup/bios/
+if [ -d  $SYSLINUXBIOS/com32/ ]; then
+	cp $SYSLINUXBIOS/com32/lib* $JEHANNE/hacking/disk-setup/bios/
+else
+	cp $SYSLINUXBIOS/lib* $JEHANNE/hacking/disk-setup/bios/
+fi
 cp $SYSLINUXBIOS/elf.c32 $JEHANNE/hacking/disk-setup/bios/
 cp $SYSLINUXBIOS/mboot.c32 $JEHANNE/hacking/disk-setup/bios/
 cp $SYSLINUXBIOS/menu.c32 $JEHANNE/hacking/disk-setup/bios/