From 26c59478d09af5a751f85dbadfc9bab56ce9d27c Mon Sep 17 00:00:00 2001
From: Nikias Bassen
Date: Wed, 25 Jun 2025 00:21:58 +0200
Subject: configure: Print whether building tool(s) or not

---
 configure.ac | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configure.ac b/configure.ac
index 421688f..31548c4 100644
--- a/configure.ac
+++ b/configure.ac
@@ -210,6 +210,7 @@ Configuration for $PACKAGE $VERSION:
 
   Install prefix: .........: $prefix
   USB backend: ............: $USB_BACKEND
+  Build tools: ............: $with_tools
 
   Now type 'make' to build $PACKAGE $VERSION,
   and then 'make install' for installation.
-- 
cgit v1.1-32-gdbae