From 423ff625f65775b809720cfacd81fb9db15d08a6 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Sat, 29 Dec 2018 01:54:06 +0100 Subject: [PATCH] Explicitly look for include files in $PREFIX --- doc/scripts/clint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/scripts/clint.sh b/doc/scripts/clint.sh index c3f5fa0..a1379d6 100755 --- a/doc/scripts/clint.sh +++ b/doc/scripts/clint.sh @@ -123,7 +123,7 @@ while getopts "cO:P:" name; do export "${OPTARG%%=*}"="${OPTARG#*=}" ;; P) - #XXX ignored for compatibility + CPPFLAGS="$CPPFLAGS -I$OPTARG/include" ;; ?) _usage