diff options
author | Harald Welte <laforge@gnumonks.org> | 2017-08-19 19:51:35 +0200 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2017-08-19 19:51:35 +0200 |
commit | 4bda77175ed2576e8a42d41cde5a46826a6d010f (patch) | |
tree | 23bfcb9c4bbad10ba2f449df583ca2ae124febdd /make | |
parent | 460247905d8cbbe33f2b2d998d54c0ee9c91e666 (diff) |
Introduce 'make run' to run the respective container
Diffstat (limited to 'make')
-rw-r--r-- | make/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/make/Makefile b/make/Makefile index 5ce888c..d81d0fb 100644 --- a/make/Makefile +++ b/make/Makefile @@ -106,3 +106,7 @@ check-status: check-release: .release @. $(RELEASE_SUPPORT) ; tagExists $(TAG) || (echo "ERROR: version not yet tagged in git. make [minor,major,patch]-release." >&2 && exit 1) ; @. $(RELEASE_SUPPORT) ; ! differsFromRelease $(TAG) || (echo "ERROR: current directory differs from tagged $(TAG). make [minor,major,patch]-release." ; exit 1) + + +run: + docker run $(RUN_ARGS) -it $(NAME) |