diff options
| author | Monwarez <monwarez@gmail.com> | 2017-03-25 23:47:16 +0100 |
|---|---|---|
| committer | Thibault Payet <monwarez@gmail.com> | 2017-07-26 00:20:36 +0200 |
| commit | ef92d33af87cddb0269ac50ae78ee2499daf231d (patch) | |
| tree | f74e6c6e7199cea5bb040ebac71c76e25da09f90 /tools/ci/jobs/gcc6.sh | |
| parent | 38a48f8136c3fa326e126cacbd8131608f25d51c (diff) | |
| download | plugin-ef92d33af87cddb0269ac50ae78ee2499daf231d.tar.gz plugin-ef92d33af87cddb0269ac50ae78ee2499daf231d.tar.bz2 plugin-ef92d33af87cddb0269ac50ae78ee2499daf231d.tar.xz plugin-ef92d33af87cddb0269ac50ae78ee2499daf231d.zip | |
Use /usr/bin/env instead of full path to bash
And also, use sysctl for detecting the number of CPU
when the system is FreeBSD
Diffstat (limited to 'tools/ci/jobs/gcc6.sh')
| -rwxr-xr-x | tools/ci/jobs/gcc6.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/jobs/gcc6.sh b/tools/ci/jobs/gcc6.sh index 34cf845..85f6748 100755 --- a/tools/ci/jobs/gcc6.sh +++ b/tools/ci/jobs/gcc6.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash export CC=gcc-6 export CXX=g++-6 |