diff options
author | Yaroslav Brustinov <ybrustin@cisco.com> | 2017-03-02 11:50:25 +0200 |
---|---|---|
committer | Yaroslav Brustinov <ybrustin@cisco.com> | 2017-03-02 11:50:25 +0200 |
commit | a5d77b9c82748549aa8b156920ba7d61fe8de89f (patch) | |
tree | 6ddb766d41f5e48c64b06acd2209e5842506acc9 /linux_dpdk | |
parent | 3ea197e5df0de834151dccfa0c7f70651741cac9 (diff) |
add --no-ver flag to building without update of version files (default is to update)
Change-Id: I17eb3ce4959c2b2bee12912289c7983667d72e41
Signed-off-by: Yaroslav Brustinov <ybrustin@cisco.com>
Diffstat (limited to 'linux_dpdk')
-rwxr-xr-x | linux_dpdk/ws_main.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/linux_dpdk/ws_main.py b/linux_dpdk/ws_main.py index 705567cd..9b348d4d 100755 --- a/linux_dpdk/ws_main.py +++ b/linux_dpdk/ws_main.py @@ -105,6 +105,7 @@ def options(opt): opt.add_option('--pkg-file', '--pkg_file', dest='pkg_file', default=False, action='store', help="Destination filename for 'pkg' option.") opt.add_option('--publish-commit', '--publish_commit', dest='publish_commit', default=False, action='store', help="Specify commit id for 'publish_both' option (Please make sure it's good!)") opt.add_option('--no-mlx', dest='no_mlx', default=False, action='store_true', help="don't use mlx5 dpdk driver. use with ./b configure --no-mlx. no need to run build with it") + opt.add_option('--no-ver', action = 'store_true', help = "Don't update version file.") def check_ibverbs_deps(bld): @@ -988,8 +989,9 @@ def install_single_system (bld, exec_p, build_obj): def pre_build(bld): - print("update version files") - create_version_files () + if not bld.options.no_ver: + print("update version files") + create_version_files() def write_file (file_name,s): |