diff --git a/src/build.sh b/src/build.sh index b71f2a30..3ce70ce9 100755 --- a/src/build.sh +++ b/src/build.sh @@ -15,5 +15,5 @@ done base_dir=$(cd "$(dirname "$loc")" && pwd) pushd "$base_dir" -${BAZEL_EXECUTABLE:-bazel} build //src:djinni +${BAZEL_EXECUTABLE:-bazel} build //src:djinni --host_conlyopt=-std=c90 popd