diff options
Diffstat (limited to 'tools/ci')
| -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 d421206..ff9c4db 100755 --- a/tools/ci/jobs/deheader.sh +++ b/tools/ci/jobs/deheader.sh @@ -16,5 +16,6 @@ echo $2 >>${LOGFILE} echo $2 ${dir}/deheader -q \ --m "$1 -c -std=gnu++1z -Werror -Wall -Wextra -Wundef -Wmissing-declarations -I/usr/include -I${dir}/tools/ci/samples" ${dir}/tools/ci/samples/$2 \ +-c "$1" \ +-m "-c -std=gnu++1z -Werror -Wall -Wextra -Wundef -Wmissing-declarations -I/usr/include -I${dir}/tools/ci/samples" ${dir}/tools/ci/samples/$2 \ | grep -v "portability requires" | tee -a ${LOGFILE} |