From be9236e51d8f87c43a1b98ebd5dde72eec702c14 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Tue, 29 Apr 2025 13:29:49 -0400 Subject: Remove exit if you don't have debugedit --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e9f11cfc..821ea98c 100644 --- a/Makefile +++ b/Makefile @@ -190,7 +190,7 @@ check-utilities: check-c-compiler @which awk 2>/dev/null >/dev/null \ || { printf '\033[31;1m%s\033[m\n' "I couldn't find 'awk' on your system! Try installing the package 'awk' with your package manager."; exit 1; } @which debugedit 2>/dev/null >/dev/null \ - || { printf '\033[33;1m%s\033[m\n' "I couldn't find 'debugedit' on your system! Try installing the package 'debugedit' with your package manager. (It's not required though)"; exit 1; } + || printf '\033[33;1m%s\033[m\n' "I couldn't find 'debugedit' on your system! Try installing the package 'debugedit' with your package manager. (It's not required though)" install-files: build/bin/tomo build/lib/$(LIB_FILE) build/lib/$(AR_FILE) check-utilities @if ! echo "$$PATH" | tr ':' '\n' | grep -qx "$(PREFIX)/bin"; then \ -- cgit v1.2.3