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()