diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-10-09 20:45:06 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-10-09 20:45:06 +0300 |
| commit | 1f91a01f99a1f8ad84d69a19e5b55bf917c93a99 (patch) | |
| tree | 9d3327929ca7f99944ef78d1ed564dddf153ea2c /tools | |
| parent | cd6b02aed24b4f9e2899bb9b58ff84a2afe0896d (diff) | |
| download | mv-1f91a01f99a1f8ad84d69a19e5b55bf917c93a99.tar.gz mv-1f91a01f99a1f8ad84d69a19e5b55bf917c93a99.tar.bz2 mv-1f91a01f99a1f8ad84d69a19e5b55bf917c93a99.tar.xz mv-1f91a01f99a1f8ad84d69a19e5b55bf917c93a99.zip | |
Merge .h build files in .gitlab-ci.yml
Also remove script gcc5_h_pugi.sh
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/gcc5_h_pugi.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/tools/ci/jobs/gcc5_h_pugi.sh b/tools/ci/jobs/gcc5_h_pugi.sh deleted file mode 100755 index de392c73e..000000000 --- a/tools/ci/jobs/gcc5_h_pugi.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/bash - -export CC=gcc-5 -export CXX=g++-5 - -if [ "$NEWCC" != "" ]; then - export CC="$NEWCC" -fi -if [ "$NEWCXX" != "" ]; then - export CXX="$NEWCXX" -fi - -export LOGFILE=gcc5_h.log - -source ./tools/ci/scripts/init.sh - -do_init - -cd src -export dir=$(pwd) -export includes="-I$dir -I/usr/include -I/usr/include/libxml2" - -run_h $* - -cd .. - -source ./tools/ci/scripts/exit.sh - -exit 0 |