From 194d3fa048cf909ca592dd56fa538dc9cd3f5ddb Mon Sep 17 00:00:00 2001 From: Jean-Baptiste Queru Date: Thu, 12 Nov 2009 18:45:14 -0800 Subject: eclair snapshot --- libc/kernel/tools/clean_header.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'libc/kernel/tools/clean_header.py') 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 @@ if __name__ == "__main__": 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 @@ if __name__ == "__main__": elif opt == '-v': verbose = 1 D_setlevel(1) + elif opt == '-k': + kernel_original_path = arg if len(args) == 0: usage() -- cgit v1.1