diff options
author | Andrei Karas <akaras@inbox.ru> | 2016-04-30 15:35:23 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2016-04-30 15:35:23 +0300 |
commit | d33a06e189b09040ace46a1dfc292bc77a9d8440 (patch) | |
tree | 495b070102593ada3c44f6c69bd00829cf7355cb /tools | |
parent | 288b14b21178f7892a41cbc00a03cffcaa1bb8ec (diff) | |
download | mv-d33a06e189b09040ace46a1dfc292bc77a9d8440.tar.gz mv-d33a06e189b09040ace46a1dfc292bc77a9d8440.tar.bz2 mv-d33a06e189b09040ace46a1dfc292bc77a9d8440.tar.xz mv-d33a06e189b09040ace46a1dfc292bc77a9d8440.zip |
In ci check correct version fot CC and CXX compilers.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/ci/scripts/init.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index 4164f06de..8cde42088 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -12,7 +12,9 @@ rm ${ERRFILE} function do_init { $CC --version + check_error $? $CXX --version + check_error $? } function aptget_update { |