diff options
| author | Ramsay Jones <ramsay@ramsay1.demon.co.uk> | 2009-07-18 20:42:56 +0000 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2009-07-20 18:11:57 +0000 |
| commit | 6298fb4d7325cf6967f4ff298472e5da8e129350 (patch) | |
| tree | df1330500cc570370be93c355cd6352388987b20 /validation | |
| parent | 175c63f317f710353a69790004631de23a086c80 (diff) | |
| download | sparse-dev-6298fb4d7325cf6967f4ff298472e5da8e129350.tar.gz | |
Makefile: suppress error message from pkg-config
In particular, on systems which do not have 'pkg-config' installed,
every invocation of make issues the following message:
/bin/sh: pkg-config: command not found
Suppress the message by redirecting stderr to the bit-bucket.
Signed-off-by: Ramsay Jones <ramsay@ramsay1.demon.co.uk>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions