diff options
author | 2016-06-22 14:13:31 +0300 | |
---|---|---|
committer | 2016-06-22 14:13:31 +0300 | |
commit | 0e5be9c8cef5dfa5dd8f9dc4910d675aa006fafc (patch) | |
tree | 3f0a88a69cdbd6b4762182b298d959f1d3d6b19a | |
parent | 9a1356bc05d663555b9b62971aff6219e17a767c (diff) |
REGRESSION: disable electric fence for now
-rwxr-xr-x | linux_dpdk/ws_main.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/linux_dpdk/ws_main.py b/linux_dpdk/ws_main.py index dde94dc4..12a2fd89 100755 --- a/linux_dpdk/ws_main.py +++ b/linux_dpdk/ws_main.py @@ -714,7 +714,8 @@ def build_prog (bld, build_obj): debug_file_list=''; if not build_obj.isRelease (): #debug - debug_file_list +=ef_src.file_list(top) + #debug_file_list +=ef_src.file_list(top) + pass bld.objects( |