diff options
| author | davidovski <david@davidovski.xyz> | 2023-02-02 14:10:02 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2023-02-02 14:10:02 +0000 |
| commit | f29d569cd33a73da5ad675f43a34ad53c5cc9bc6 (patch) | |
| tree | 76fe6267f8307e7630fc6f53ff99a9767ad40de0 /repo/libgit | |
| parent | 05d004dfe0c9a9d898fac8a4a0292ca2a74ca391 (diff) | |
Work
Diffstat (limited to 'repo/libgit')
| -rw-r--r-- | repo/libgit/libgit.xibuild | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/repo/libgit/libgit.xibuild b/repo/libgit/libgit.xibuild index 87fd6f8..8802b20 100644 --- a/repo/libgit/libgit.xibuild +++ b/repo/libgit/libgit.xibuild @@ -28,12 +28,12 @@ build() { make } -check() { - cd "$BUILD_ROOT"/build - ctest -E 'offline|online' -} +#check() { +# cd "$BUILD_ROOT"/build +# ctest -E 'offline|online' +# cd "$BUILD_ROOT" +#} package() { - cd "$BUILD_ROOT" - make -C build DESTDIR="$PKG_DEST" install + make DESTDIR="$PKG_DEST" install } |