summaryrefslogtreecommitdiff
path: root/gentree.py
diff options
context:
space:
mode:
authorJohannes Berg <johannes.berg@intel.com>2017-09-08 15:32:22 +0200
committerJohannes Berg <johannes.berg@intel.com>2017-09-08 15:32:22 +0200
commit3756f63528b044d6487bac046ad2972bc21583a5 (patch)
treee6fba860abf5144ec7426c9fd3521d7560bef7c3 /gentree.py
parentb402f77b918087f7113873a91236d5a6868a5aba (diff)
gentree: remove --use-coccigrep
This is causing trouble, remove it for now. Signed-off-by: Johannes Berg <johannes.berg@intel.com>
Diffstat (limited to 'gentree.py')
-rwxr-xr-xgentree.py1
1 files changed, 0 insertions, 1 deletions
diff --git a/gentree.py b/gentree.py
index 7d3f4a4f..3d234d57 100755
--- a/gentree.py
+++ b/gentree.py
@@ -590,7 +590,6 @@ def apply_patches(args, desc, source_dir, patch_src, target_dir, logwrite=lambda
'--in-place',
'--recursive-includes',
'--relax-include-path',
- '--use-coccigrep',
'--timeout', '120',
'-j', '%d' % cpu_count(),
'--dir', os.path.abspath(target_dir) ]