2024-05-28 04:54:10 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
set -e
|
|
|
|
|
|
2024-06-05 15:15:00 +00:00
|
|
|
: "${IMG=disk.img}"
|
|
|
|
|
|
2024-06-11 09:23:44 +00:00
|
|
|
if [ ! -f Makefile ]
|
2024-05-28 04:54:10 +00:00
|
|
|
then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
. ./releasetools/image.defaults
|
|
|
|
|
. ./releasetools/image.functions
|
2024-06-05 15:15:00 +00:00
|
|
|
|
2024-07-05 06:16:40 +00:00
|
|
|
DESTDIR=${BUILDDIR}/hd
|
|
|
|
|
export DESTDIR
|
|
|
|
|
|
2024-06-05 15:15:00 +00:00
|
|
|
if [ -f "${IMG}" ]
|
|
|
|
|
then
|
|
|
|
|
rm -f "${IMG}"
|
|
|
|
|
fi
|
|
|
|
|
|
2024-07-05 06:16:40 +00:00
|
|
|
mkdir -p "${BUILDDIR}" "${OBJ}"
|
|
|
|
|
|
|
|
|
|
mkdir -p "${DESTDIR}/boot"
|
|
|
|
|
|
|
|
|
|
create_stpdboot_ini "${DESTDIR}/boot"
|
|
|
|
|
|
|
|
|
|
make
|
|
|
|
|
|
2024-06-05 15:15:00 +00:00
|
|
|
echo ""
|
|
|
|
|
echo "Disk image at $(pwd)/${IMG}"
|
