diff options
| author | Carlos MartÃn Nieto <[email protected]> | 2019-08-13 20:28:10 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-13 20:28:10 +0200 |
| commit | 37e5b53f742d3127acfa2a9cfc57ccb94e1b8c59 (patch) | |
| tree | 5ec3f5bdc7fa2597f177a48ae170d93a4c9c56e7 /script/build-libgit2-static.sh | |
| parent | b2e2b2f71bb47ae3d4cfde07b39f524f13d0df93 (diff) | |
| parent | 57ab6bc351f96caabdeb58a5092c9dda51962603 (diff) | |
Merge pull request #519 from libgit2/cmn/update-libgit2
Update vendored libgit2 to 08cfa43d0e1a921
Diffstat (limited to 'script/build-libgit2-static.sh')
| -rwxr-xr-x | script/build-libgit2-static.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/build-libgit2-static.sh b/script/build-libgit2-static.sh index 680dd93..096c5c6 100755 --- a/script/build-libgit2-static.sh +++ b/script/build-libgit2-static.sh @@ -12,6 +12,7 @@ cd "${BUILD_PATH}/build" && cmake -DTHREADSAFE=ON \ -DBUILD_CLAR=OFF \ -DBUILD_SHARED_LIBS=OFF \ + -DREGEX_BACKEND=builtin \ -DCMAKE_C_FLAGS=-fPIC \ -DCMAKE_BUILD_TYPE="RelWithDebInfo" \ -DCMAKE_INSTALL_PREFIX="${BUILD_PATH}/install" \ |