diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci-run.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts/ci-run.sh b/scripts/ci-run.sh index 049cae510..c6d04395c 100755 --- a/scripts/ci-run.sh +++ b/scripts/ci-run.sh @@ -397,9 +397,7 @@ ci_run () { RUN="docker run --rm -t -e CI -e TRAVIS -v `pwd`:/work -w /work" if [ "x$IS_MACOS" = "xtrue" ]; then export CPATH="$CPATH:`xcrun --show-sdk-path`/usr/include" - CC=clang \ - CONFIG_OPTS="--disable-libghdl" \ - bash -c "${scriptdir}/ci-run.sh $BUILD_CMD_OPTS build" + CC=clang bash -c "${scriptdir}/ci-run.sh $BUILD_CMD_OPTS build" else # Assume linux |