diff options
| author | Mark Wielaard <mjw@redhat.com> | 2009-02-16 13:30:18 +0100 |
|---|---|---|
| committer | Mark Wielaard <mjw@redhat.com> | 2009-02-16 13:30:18 +0100 |
| commit | bf611ccca84bc4a49de8444303540dd778e0e50c (patch) | |
| tree | 00dbdd59249b2ef319383eec73758ba7c60d0b6d /dtrace | |
| parent | e3c5bcd9d838731926fa72d652c29c7ba0eb332a (diff) | |
| download | systemtap-steved-bf611ccca84bc4a49de8444303540dd778e0e50c.tar.gz systemtap-steved-bf611ccca84bc4a49de8444303540dd778e0e50c.tar.xz systemtap-steved-bf611ccca84bc4a49de8444303540dd778e0e50c.zip | |
PR 9851, use os.path.splitext instead of string.replace.
Diffstat (limited to 'dtrace')
| -rwxr-xr-x | dtrace | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -124,7 +124,7 @@ if (build_header == False and build_source == False): if (filename == ""): if (s_filename != ""): - filename = s_filename.replace(".d","") + (filename,ext) = os.path.splitext(s_filename) if (build_header): filename = filename + ".h" elif (build_source): @@ -137,7 +137,8 @@ if (build_header): providers = provider() providers.open(s_filename, filename) elif (build_source): - basename = os.path.basename(s_filename).replace(".d", ".c") + (basename,ext) = os.path.splitext(s_filename) + basename = os.path.basename(basename) (d,fn) = mkstemp(suffix=".c",prefix=basename) f = open(fn,mode='w') f.write("static __dtrace () {}\n") |