Revision e304ad8da2da7d37e104d68ea4f5485f59a269c0 authored by Mosè Giordano on 02 November 2022, 11:10:27 UTC, committed by GitHub on 02 November 2022, 11:10:27 UTC
* [deps] Do not build CLI of libgit2 The build system of this component is broken upstream, we don't need it, let's just don't build it. * [LibGit2_jll] Update build which doesn't include the CLI
1 parent e9ca677
File | Mode | Size |
---|---|---|
bb-install.mk | -rw-r--r-- | 3.3 KB |
common.mk | -rw-r--r-- | 8.1 KB |
git-external.mk | -rw-r--r-- | 3.2 KB |
jlchecksum | -rwxr-xr-x | 3.7 KB |
jldownload | -rwxr-xr-x | 1.3 KB |
stdlib-external.mk | -rw-r--r-- | 976 bytes |
uninstallers.mk | -rw-r--r-- | 1.6 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...