diff options
| author |   Klement Sekera <ksekera@cisco.com> | 2019-11-05 11:18:25 +0000 |
|---|---|---|
| committer |   Ole Trøan <otroan@employees.org> | 2019-11-05 13:07:48 +0000 |
| commit | 45a95dd782b91e9ae5665b5f95be4b6d7f99b879 (patch) | |
| tree | d8cc55bae7efc046d70fdd09e8db0afd4636a958 /test/Makefile | |
| parent | 718a19b8f9aa3dca26aaf4eb6bd9f60eb6376d30 (diff) | |
tests: support setting random seed
Log the random seed used when running tests and provide means to re-use
it in a later run.
Type: feature
Change-Id: I18d2a36ee802b901d4cca5577df41cec07f09cc0
Signed-off-by: Klement Sekera <ksekera@cisco.com>
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Makefile b/test/Makefile index 7ec8d4a08c6..3a78a3f08af 100644 --- a/test/Makefile +++ b/test/Makefile @@ -341,6 +341,8 @@ help: @echo "" @echo " SOCKET=1 - Communicate with VPP over Unix domain socket instead of SHM" @echo "" + @echo " RND_SEED=seed - Seed RND with given seed" + @echo "" @echo "Creating test documentation" @echo " test-doc - generate documentation for test framework" @echo " test-wipe-doc - wipe documentation for test framework" |