add extlinux 32bit

2017-12-15 04:03:49 -05:00
parent 8430af7327
commit c5d74b186c
4 changed files with 2 additions and 0 deletions
@@ -41,5 +41,7 @@ cp bios/com32/elflink/ldlinux/ldlinux.c32 $CWD
 cp bios/com32/lib/libcom32.c32 $CWD
 cp bios/com32/libutil/libutil.c32 $CWD
 cp bios/com32/menu/vesamenu.c32 $CWD
+cp bios/extlinux/extlinux $CWD/extlinux.exe
+strip --strip-unneeded $CWD/extlinux.exe

 echo "done"