diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-06-11 22:29:34 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2016-06-11 23:21:48 +0300 |
| commit | db9307d42107eee843400a79e0cc1f700e90be71 (patch) | |
| tree | 04666dc1d6757683af122ff1888221fa6dfd14c8 /tools | |
| parent | b01a83bfa38ee7f941a99402f286f3f8784918fa (diff) | |
| download | deheader-db9307d42107eee843400a79e0cc1f700e90be71.tar.gz deheader-db9307d42107eee843400a79e0cc1f700e90be71.tar.bz2 deheader-db9307d42107eee843400a79e0cc1f700e90be71.tar.xz deheader-db9307d42107eee843400a79e0cc1f700e90be71.zip | |
Add --compiler/-c flag for set compiler binary.
Diffstat (limited to 'tools')
| -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} |