-
Notifications
You must be signed in to change notification settings - Fork 1.2k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Separate build/install for libre2.a and libre2.so.
This allows packaging to build/install one or the other rather than both. Fedora already delete libre2.a and now Gentoo want to do this cleanly. Fixes #258. Change-Id: Ie1e265b6d0ed72deecf3b154107f50970731a7fc Reviewed-on: https://code-review.googlesource.com/c/re2/+/56475 Reviewed-by: Paul Wankadia <[email protected]>
- Loading branch information
Showing
1 changed file
with
48 additions
and
15 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters