diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rwxr-xr-x | dtrace | 5 |
2 files changed, 8 insertions, 2 deletions
@@ -1,5 +1,10 @@ 2009-02-16 Mark Wielaard <mjw@redhat.com> + PR 9851 + * dtrace: Use os.path.splitext instead of string.replace. + +2009-02-16 Mark Wielaard <mjw@redhat.com> + PR 9849 * dtrace: Use mkstemp. @@ -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") |