aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDylan Araps <dylan.araps@gmail.com>2026-03-09 12:56:22 +0200
committerDylan Araps <dylan.araps@gmail.com>2026-03-09 12:56:22 +0200
commitb6814841e7d83076ac38d4e7cf26d478f82860b1 (patch)
tree25bfcb829ac6506c77bfffd798887dd09c47a3e4 /configure
parent16a2b6c44283b9001abe3471edfd38507128836c (diff)
configure: use system dpp if possible
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 3 insertions, 2 deletions
diff --git a/configure b/configure
index de62417..7d8079b 100755
--- a/configure
+++ b/configure
@@ -25,9 +25,10 @@ export c_version=c99
#
# DPP configuration.
#
-export PATH="$PWD/bin:$PATH"
export CFG_DPP_INCLUDE=./configure
-export CFG_DPP_CMD=bin/dpp
+CFG_DPP_CMD="$(command -v dpp 2>/dev/null || echo bin/dpp)"
+export CFG_DPP_CMD
+export PATH="$PWD/bin:$PATH"
#
# Make configuration.