From bccf1ac979b1a07d7292da30170670d7696794db Mon Sep 17 00:00:00 2001 From: Graham Nelson Date: Sun, 24 Apr 2022 00:45:51 +0100 Subject: [PATCH] Made first.sh cleanly build for use after checking out an update --- README.md | 2 +- build.txt | 4 ++-- scripts/first.sh | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index a9cab040d..722751f1d 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Inform 7 -v10.1.0-alpha.1+6U88 'Krypton' (23 April 2022) +v10.1.0-alpha.1+6U89 'Krypton' (24 April 2022) ## About Inform 7 diff --git a/build.txt b/build.txt index f68d3228f..06d32cd30 100644 --- a/build.txt +++ b/build.txt @@ -1,3 +1,3 @@ Prerelease: alpha.1 -Build Date: 23 April 2022 -Build Number: 6U88 +Build Date: 24 April 2022 +Build Number: 6U89 diff --git a/scripts/first.sh b/scripts/first.sh index e1139bff9..9c0600942 100644 --- a/scripts/first.sh +++ b/scripts/first.sh @@ -9,7 +9,7 @@ if ! ( make makers; ) then exit 1 fi echo "(Step 3 of 4: building the tools)" -if ! ( make; ) then +if ! ( make force; ) then exit 1 fi echo "(Step 4 of 4: building the virtual machine interpreters)"