diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 55d360ae10..a1af41c7ac 100644 --- a/.gitmodules +++ b/.gitmodules @@ -111,13 +111,12 @@ path = utils/hsc2hs url = ../hsc2hs.git ignore = none -[submodule "libffi-tarballs"] - path = libffi-tarballs - url = ../libffi-tarballs.git - ignore = none [submodule "gmp-tarballs"] path = libraries/integer-gmp/gmp/gmp-tarballs url = ../gmp-tarballs.git [submodule ".arc-linters/arcanist-external-json-linter"] path = .arc-linters/arcanist-external-json-linter url = ../arcanist-external-json-linter.git +[submodule "libffi/build"] + path = libffi/build + url = https://github.com/libffi/libffi.git |