diff options
| author | Josh Stone <jistone@redhat.com> | 2009-06-22 14:04:06 -0700 |
|---|---|---|
| committer | Josh Stone <jistone@redhat.com> | 2009-06-22 14:04:06 -0700 |
| commit | 0c4598c3428d896f0947853c54c3e0b4a71a91e6 (patch) | |
| tree | 0c043d6125fa90be0b4e7ff4d8db8c385ffa5cbd /dtrace | |
| parent | 595d75d80e0301fe7dca9b0614ce58b1e0a5d474 (diff) | |
| parent | 417c9d68ac05297024272a0a6f97fe764468e5a5 (diff) | |
| download | systemtap-steved-0c4598c3428d896f0947853c54c3e0b4a71a91e6.tar.gz systemtap-steved-0c4598c3428d896f0947853c54c3e0b4a71a91e6.tar.xz systemtap-steved-0c4598c3428d896f0947853c54c3e0b4a71a91e6.zip | |
Merge commit 'origin'
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() |