diff options
| author | Philippe Mathieu-Daudé <philmd@redhat.com> | 2020-05-22 19:25:02 +0200 |
|---|---|---|
| committer | Laurent Vivier <laurent@vivier.eu> | 2020-06-05 21:23:22 +0200 |
| commit | e4d6d41ce23e0dfb4aa992e00c578d127fad061c (patch) | |
| tree | 555b2203e1838e17d71c7a4e2bb7294cc9e19ace /stubs | |
| parent | 37914f603f37949f6f13df0eee31bbef0e144d09 (diff) | |
util/Makefile: Reduce the user-mode object list
These objects are not required when configured with --disable-system.
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Reviewed-by: Laurent Vivier <laurent@vivier.eu>
Tested-by: Laurent Vivier <laurent@vivier.eu>
Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-Id: <20200522172510.25784-6-philmd@redhat.com>
Signed-off-by: Laurent Vivier <laurent@vivier.eu>
Diffstat (limited to 'stubs')
0 files changed, 0 insertions, 0 deletions