summaryrefslogtreecommitdiff
path: root/doc/preprocess.sh
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhsoting.net>2022-01-11 12:05:49 +0100
committerJörg Frings-Fürst <debian@jff-webhsoting.net>2022-01-11 12:05:49 +0100
commitfda4a6a8635254361196b0497803b7d01514203e (patch)
tree884dc2eb17cc521adade50e6368591958a39fff0 /doc/preprocess.sh
parent3ce62696a97c7fbed49079f8909f46f7c567ff5a (diff)
parent6e919c028d200a9a8da0c338261a1a736ed2a88d (diff)
Merge branch 'release/debian/0.9.6+dfsg-1'debian/0.9.6+dfsg-1
Diffstat (limited to 'doc/preprocess.sh')
-rwxr-xr-xdoc/preprocess.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/preprocess.sh b/doc/preprocess.sh
index a663cd1..c77bb6a 100755
--- a/doc/preprocess.sh
+++ b/doc/preprocess.sh
@@ -1,3 +1,4 @@
-#! /bin/sh
+#! /usr/bin/env bash
# Run GCC preprocessor and delete empty lines
-cpp -DURI_DOXYGEN -DURI_NO_UNICODE -C -I ../include $1 | sed -e '/^$/d' -e 's/COMMENT_HACK//g'
+: ${CPP:=cpp}
+"${CPP}" -DURI_DOXYGEN -DURI_NO_UNICODE -C -I ../include "$1" | sed -e '/^$/d' -e 's/COMMENT_HACK//g'