diff options
| author | Andrei Vagin <avagin@gmail.com> | 2020-05-06 15:24:44 -0700 |
|---|---|---|
| committer | Andrei Vagin <avagin@google.com> | 2020-05-07 18:25:32 -0700 |
| commit | 5d54ddcf03b7ec20514b5d29e8e8820e68d5bab1 (patch) | |
| tree | 59804e25d9a8fecdc090d469250faea258c6487a /pkg/sentry/fs/proc | |
| parent | 5536073969ae1805fc77743e7aac540af6b66a3e (diff) | |
make: exit with non-zero code if "bazel build" failed
Without this fix, make exits with zero code when bazel build failed:
$ make run TARGETS="--abra --kadabra"
ERROR: Unrecognized option: --abra
$ echo $?
0
Signed-off-by: Andrei Vagin <avagin@gmail.com>
Diffstat (limited to 'pkg/sentry/fs/proc')
0 files changed, 0 insertions, 0 deletions