2
1
Fork 0
mirror of https://git.savannah.gnu.org/git/gnuboot.git synced 2025-01-24 16:20:22 +01:00

website-build: Fix build target with --disable-guix option.

This was broken by commit a6e4a2a225
("configure.ac: Add --disable-guix option").

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
This commit is contained in:
Denis 'GNUtoo' Carikli 2023-08-17 01:33:04 +02:00 committed by Adrien 'neox' Bourmault
parent 4af4722580
commit 36214d6fa1
Signed by: neox
GPG key ID: 2974E1D5F25DFCC8

View file

@ -51,6 +51,7 @@ build:
-- \
./build.sh $(BUILD_OPTIONS)
else
build:
./build.sh $(BUILD_OPTIONS)
endif