diff options
author | Andrei Karas <akaras@inbox.ru> | 2017-07-25 23:49:19 +0000 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2017-07-25 23:49:19 +0000 |
commit | b5c56b1147e6ec93d948c9e5eedcd5d68618b308 (patch) | |
tree | f74e6c6e7199cea5bb040ebac71c76e25da09f90 /tools/ci/jobs/gcc46.sh | |
parent | 38a48f8136c3fa326e126cacbd8131608f25d51c (diff) | |
parent | ef92d33af87cddb0269ac50ae78ee2499daf231d (diff) | |
download | plugin-b5c56b1147e6ec93d948c9e5eedcd5d68618b308.tar.gz plugin-b5c56b1147e6ec93d948c9e5eedcd5d68618b308.tar.bz2 plugin-b5c56b1147e6ec93d948c9e5eedcd5d68618b308.tar.xz plugin-b5c56b1147e6ec93d948c9e5eedcd5d68618b308.zip |
Merge branch 'use_env_instead_of_full_path' into 'master'
Use /usr/bin/env for bash
See merge request !4
Diffstat (limited to 'tools/ci/jobs/gcc46.sh')
-rwxr-xr-x | tools/ci/jobs/gcc46.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/jobs/gcc46.sh b/tools/ci/jobs/gcc46.sh index f66f604..f2cf542 100755 --- a/tools/ci/jobs/gcc46.sh +++ b/tools/ci/jobs/gcc46.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash export CC=gcc-4.6 export CXX=g++-4.6 |