summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStan Cox <scox@redhat.com>2009-06-22 16:25:37 -0400
committerStan Cox <scox@redhat.com>2009-06-22 16:25:37 -0400
commitb4b70fe340bb600e95fa46a31e76dc2c28c83f29 (patch)
treea2103c04d9d5a1c8c66fd3a7a11bc3a070a82452
parent4116c576d5654287b0af598aee4a14eb2af73224 (diff)
downloadsystemtap-steved-b4b70fe340bb600e95fa46a31e76dc2c28c83f29.tar.gz
systemtap-steved-b4b70fe340bb600e95fa46a31e76dc2c28c83f29.tar.xz
systemtap-steved-b4b70fe340bb600e95fa46a31e76dc2c28c83f29.zip
Strip -o option suffix
dtrace: Strip the -o option suffix.
-rwxr-xr-xdtrace2
1 files changed, 2 insertions, 0 deletions
diff --git a/dtrace b/dtrace
index cdc97c57..0c7711dc 100755
--- a/dtrace
+++ b/dtrace
@@ -166,6 +166,8 @@ if (filename == ""):
else:
usage
sys.exit(1)
+else:
+ (filename,ext) = os.path.splitext(filename)
if (build_header):
providers = provider()