From 61a7f45a992f584daa822305912b661a76eb7abd Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Mon, 29 Aug 2005 19:59:58 +0000 Subject: [PATCH] Can make image_small too --- tools/Makefile | 5 +++++ tools/mkboot | 4 ++-- tools/release.sh | 5 +++++ 3 files changed, 12 insertions(+), 2 deletions(-) diff --git a/tools/Makefile b/tools/Makefile index d7d7a7686..f6d1aba2c 100755 --- a/tools/Makefile +++ b/tools/Makefile @@ -61,6 +61,11 @@ image: includes cd ../drivers && $(MAKE) image installboot -image $@ $(PROGRAMS) +image_small: includes + cd ../kernel && $(MAKE) + cd ../servers && $(MAKE) EXTRA_OPTS=-D_MINIX_SMALL=1 image + cd ../drivers && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) image + installboot -image $@ $(PROGRAMS) # rebuild the program or system libraries includes: diff --git a/tools/mkboot b/tools/mkboot index 345097047..f4382a1fb 100755 --- a/tools/mkboot +++ b/tools/mkboot @@ -170,11 +170,11 @@ cdfdboot) mkdir /mnt/boot mkdir /mnt/boot/image ( cd /mnt/dev && /usr/src/commands/scripts/MAKEDEV.sh std ) - cp -p image /mnt/boot/image || exit 1 + cp -p image image_* /mnt/boot/image || exit 1 cp -p ../boot/boot /mnt/boot/boot || exit 1 umount $dev || exit 1 installboot -d $dev ../boot/bootblock boot/boot || exit 1 - edparams $dev 'unset bootopts; unset servers; disable=inet; unset image; cdproberoot=1; unset rootdev; unset leader; leader() { echo \n--- Welcome to MINIX 3. This is the boot monitor. ---\n\nPress ESC if you need to do any special configuration.\nOtherwise I will boot with my defaults in 10 seconds.\n\n }; bootcd=1; main(){delay 10000;boot}; save' || exit + edparams $dev 'unset bootopts; unset servers; disable=inet; image=/boot/image/image_big; bootbig(=, Regular MINIX 3) { image=/boot/image/image ; boot } bootsmall(-, Small MINIX 3) { image=/boot/image/image_small ; boot } cdproberoot=1; unset rootdev; unset leader; leader() { echo \n--- Welcome to MINIX 3. This is the boot monitor. ---\n\nChoose an option from the menu or press ESC if you need to do anything special.\nOtherwise I will boot with my defaults in 10 seconds.\n\n }; bootcd=1; main(){trap 10000 boot; menu; }; save' || exit # copy image dd if=$dev of=cdfdimage bs=8192 count=180 diff --git a/tools/release.sh b/tools/release.sh index 43265aae2..4cf7016b6 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -165,6 +165,11 @@ umount $RAM || exit dd if=$RAM of=$ROOTIMAGE bs=$BS count=$ROOTBLOCKS (cd ../boot && make) make image || exit 1 +cp image image_big +make clean +make image_small || exit 1 +# Prepare image and image_small for cdfdboot +cp image_big image sh mkboot cdfdboot cp $IMAGE $CDFILES/bootflop.img cp release/cd/* $CDFILES -- 2.44.0