libc: kernel: let clean_header tool take path to kernel originals as argument
Signed-off-by: Dima Zavin <dima@android.com>
diff --git a/libc/kernel/tools/clean_header.py b/libc/kernel/tools/clean_header.py
index de4bf85..28cb05e 100755
--- a/libc/kernel/tools/clean_header.py
+++ b/libc/kernel/tools/clean_header.py
@@ -96,7 +96,7 @@
sys.exit(1)
try:
- optlist, args = getopt.getopt( sys.argv[1:], 'uv' )
+ optlist, args = getopt.getopt( sys.argv[1:], 'uvk:' )
except:
# unrecognized option
sys.stderr.write( "error: unrecognized option\n" )
@@ -108,6 +108,8 @@
elif opt == '-v':
verbose = 1
D_setlevel(1)
+ elif opt == '-k':
+ kernel_original_path = arg
if len(args) == 0:
usage()