summaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorAndrei Vagin <avagin@gmail.com>2020-06-02 11:30:26 -0700
committerAndrei Vagin <avagin@gmail.com>2020-06-02 11:30:26 -0700
commit5e4d7072a657be4a8ef1f7fb86c77c09651315e7 (patch)
tree1ca5e06344441b480897b9ab01ee7dce8647fe30 /Makefile
parent16100d18cbe27f01e1f0c147f91a694518ddc160 (diff)
make: Allow to specify bazel startup options.
And don't parse binary paths for the build target. Signed-off-by: Andrei Vagin <avagin@gmail.com>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9d486ef49..d44d7945d 100644
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,7 @@
# Described below.
OPTIONS :=
+STARTUP_OPTIONS :=
TARGETS := //runsc
ARGS :=
@@ -24,7 +25,7 @@ default: runsc
## usage: make <target>
## or
-## make <build|test|copy|run|sudo> OPTIONS="..." TARGETS="..." ARGS="..."
+## make <build|test|copy|run|sudo> STARTUP_OPTIONS="..." OPTIONS="..." TARGETS="..." ARGS="..."
##
## Basic targets.
##
@@ -33,6 +34,7 @@ default: runsc
## requirements.
##
## There are common arguments that may be passed to targets. These are:
+## STARTUP_OPTIONS - Bazel startup options.
## OPTIONS - Build or test options.
## TARGETS - The bazel targets.
## ARGS - Arguments for run or sudo.