aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authoreine <eine@users.noreply.github.com>2020-01-08 00:06:06 +0100
committereine <6628437+eine@users.noreply.github.com>2021-02-02 16:06:31 +0100
commit1a74c7443f72a8aae0cbc2aee77833d1e4fe6ab8 (patch)
treecb8c52712ca04cbfbdd76e3c92d495bca2de3e91 /scripts
parentb459b85467fa2b9da8c4295d07f5310544419a74 (diff)
downloadghdl-1a74c7443f72a8aae0cbc2aee77833d1e4fe6ab8.tar.gz
ghdl-1a74c7443f72a8aae0cbc2aee77833d1e4fe6ab8.tar.bz2
ghdl-1a74c7443f72a8aae0cbc2aee77833d1e4fe6ab8.zip
ci: enable libghdl in the osx job
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/ci-run.sh4
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