diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-04 07:10:28 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-06 06:01:51 +0100 |
| commit | c3490e701eaadbea71762911b57295eb1caa28e9 (patch) | |
| tree | 93950762e001e812201fd804d47d1030e4fa7b49 /.gitignore | |
| parent | b6c04d581e6ebd54782da5c522b5f6e412d1e4fe (diff) | |
| download | sparse-dev-c3490e701eaadbea71762911b57295eb1caa28e9.tar.gz | |
build: remove unused support for pkgconfig
Sparse being a library was installed as such and with support for
pkgconfig.
However, it seems that sparse is only used for its tools and not
as a library (at least not as an external one) and currently
doesn't offer a stable interface.
For now, remove the support for this, it will be easy enough to
restore it if there is a new need.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -7,7 +7,6 @@ # generated pre-process.h -sparse.pc version.h # programs |