diff options
| -rwxr-xr-x | tools/ci/jobs/deheader.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ci/jobs/deheader.sh b/tools/ci/jobs/deheader.sh index 0b4e624..314506f 100755 --- a/tools/ci/jobs/deheader.sh +++ b/tools/ci/jobs/deheader.sh @@ -17,5 +17,6 @@ echo $3 ${dir}/deheader -q \ -c "$1" \ --m "-c -std=gnu++1z -Werror -Wall -Wextra -Wundef -Wmissing-declarations $2 -I/usr/include -I${dir}/tools/ci/samples" ${dir}/tools/ci/samples/$3 \ +-d "$2" \ +-m "-c -std=gnu++1z -Werror -Wall -Wextra -Wundef -Wmissing-declarations -I/usr/include -I${dir}/tools/ci/samples" ${dir}/tools/ci/samples/$3 \ | grep -v "portability requires" | tee -a ${LOGFILE} |