From f0c20074c6546036799266dbd941690adc53dcb0 Mon Sep 17 00:00:00 2001 From: belliash Date: Tue, 14 Nov 2023 15:35:07 +0100 Subject: [PATCH] Prefer xbuild over ninja --- configure.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configure.sh b/configure.sh index f5d23c5..3102683 100755 --- a/configure.sh +++ b/configure.sh @@ -37,6 +37,6 @@ if [ ${?} -ne 0 ]; then echo "Configure script failed." exit 1 else - echo "${ARCH}" > ${EXECTOS_BINARY_DIR}/build.arch - echo "Configure script completed. Enter '${EXECTOS_BINARY_DIR}' directory and execute 'ninja' to build ExectOS." + echo "${ARCH}" > build.arch + echo "Configure script completed. Enter '${EXECTOS_BINARY_DIR}' directory and execute 'xbuild' to build ExectOS." fi