32 lines
385 B
Bash
Executable file
32 lines
385 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -e
|
|
|
|
: "${IMG=disk.img}"
|
|
|
|
if [ ! -f Makefile ]
|
|
then
|
|
exit 1
|
|
fi
|
|
|
|
. ./releasetools/image.defaults
|
|
. ./releasetools/image.functions
|
|
|
|
DESTDIR=${BUILDDIR}/hd
|
|
export DESTDIR
|
|
|
|
if [ -f "${IMG}" ]
|
|
then
|
|
rm -f "${IMG}"
|
|
fi
|
|
|
|
mkdir -p "${BUILDDIR}" "${OBJ}"
|
|
|
|
mkdir -p "${DESTDIR}/boot"
|
|
|
|
create_stpdboot_ini "${DESTDIR}/boot"
|
|
|
|
make
|
|
|
|
echo ""
|
|
echo "Disk image at $(pwd)/${IMG}"
|