diff options
| author | Max Kellermann <max@musicpd.org> | 2018-02-09 22:26:07 +0100 |
|---|---|---|
| committer | Max Kellermann <max@musicpd.org> | 2018-02-09 22:54:22 +0100 |
| commit | b8a094470b157894aa49db4466fb0296bb164573 (patch) | |
| tree | 5b008e21b2e5a452fb1578eb497b78034d918e22 /python | |
| parent | 2988bb77e816c1d502bbb58a55e7ef7a30662640 (diff) | |
python/build/libs.py: build only the library
Diffstat (limited to 'python')
| -rw-r--r-- | python/build/libs.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/python/build/libs.py b/python/build/libs.py index a46902a19..569159f34 100644 --- a/python/build/libs.py +++ b/python/build/libs.py @@ -358,6 +358,12 @@ curl = AutotoolsProject( '--disable-crypto-auth', '--disable-ntlm-wb', '--disable-tls-srp', '--disable-cookies', '--without-ssl', '--without-gnutls', '--without-nss', '--without-libssh2', ], + + edits={ + # build only the library, not the "curl" command-line tool + 'Makefile.in': lambda data: re.sub(r'^SUBDIRS = lib src$', r'SUBDIRS = lib', + data, count=1, flags=re.MULTILINE), + } ) boost = BoostProject( |