Explicitly look for include files in $PREFIX

2018-12-29 01:54:06 +01:00 · 2018-12-29 01:54:06 +01:00 · 423ff625f6
commit 423ff625f6
parent c9ab0ce53c
1 changed files with 1 additions and 1 deletions
--- 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