diff options
author | 2016-06-23 14:00:35 +0300 | |
---|---|---|
committer | 2016-06-23 14:00:35 +0300 | |
commit | 6ea7b686a00192fc7e1e8e34160ec18e3de61d1a (patch) | |
tree | 796b59c3137cebdbe614a97415f870fb33b20515 | |
parent | 5f84648529772a4b0b52eedfbf3669c6e45d653f (diff) |
enabling efence
-rwxr-xr-x | linux_dpdk/ws_main.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/linux_dpdk/ws_main.py b/linux_dpdk/ws_main.py index 12a2fd89..dde94dc4 100755 --- a/linux_dpdk/ws_main.py +++ b/linux_dpdk/ws_main.py @@ -714,8 +714,7 @@ def build_prog (bld, build_obj): debug_file_list=''; if not build_obj.isRelease (): #debug - #debug_file_list +=ef_src.file_list(top) - pass + debug_file_list +=ef_src.file_list(top) bld.objects( |