diff options
| author | Dave Brolley <brolley@redhat.com> | 2009-06-23 11:07:15 -0400 |
|---|---|---|
| committer | Dave Brolley <brolley@redhat.com> | 2009-06-23 11:07:15 -0400 |
| commit | f75b6811dee35832309e55a9e3455c40d4c13437 (patch) | |
| tree | a4b0c9bab84c84c863b99bb993fcbb7f5c19b339 /dtrace | |
| parent | d6454850dd3c9d74b700924b56378c4c9ab9fa57 (diff) | |
| parent | e89118955d1e9f6f442e9c0f2e918ce9bf9a8529 (diff) | |
| download | systemtap-steved-f75b6811dee35832309e55a9e3455c40d4c13437.tar.gz systemtap-steved-f75b6811dee35832309e55a9e3455c40d4c13437.tar.xz systemtap-steved-f75b6811dee35832309e55a9e3455c40d4c13437.zip | |
Merge branch 'master' of git://sources.redhat.com/git/systemtap
Diffstat (limited to 'dtrace')
| -rwxr-xr-x | dtrace | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -166,6 +166,8 @@ if (filename == ""): else: usage sys.exit(1) +else: + (filename,ext) = os.path.splitext(filename) if (build_header): providers = provider() |