diff options
| author | Dima Zavin <dima@android.com> | 2009-08-05 17:55:30 -0700 |
|---|---|---|
| committer | Dima Zavin <dima@android.com> | 2009-08-05 17:56:55 -0700 |
| commit | 4c4a9632bdb5189011b74d63847ee4bbd6daea4b (patch) | |
| tree | c053b4789786d00aad7c3cabdfb0ac7c64db94bf /libc/kernel | |
| parent | 6e36f86333486ac60dfa9684d1af9475e5a90a11 (diff) | |
| download | bionic-4c4a9632bdb5189011b74d63847ee4bbd6daea4b.zip bionic-4c4a9632bdb5189011b74d63847ee4bbd6daea4b.tar.gz bionic-4c4a9632bdb5189011b74d63847ee4bbd6daea4b.tar.bz2 | |
libc: kernel: let clean_header tool take path to kernel originals as argument
Signed-off-by: Dima Zavin <dima@android.com>
Diffstat (limited to 'libc/kernel')
| -rwxr-xr-x | libc/kernel/tools/clean_header.py | 4 |
1 files changed, 3 insertions, 1 deletions
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() |