diff options
author | Fredrik Gustafsson <[email protected]> | 2013-04-03 12:04:00 +0200 |
---|---|---|
committer | Fredrik Gustafsson <[email protected]> | 2013-04-03 12:04:00 +0200 |
commit | 7ff92508436643900bccbc67e44550b82d2effc6 (patch) | |
tree | f64ba65a34cb8944d3233685e79ea94115240159 | |
parent | 92853780bcb759249e8efcee00c2d32c2e3f96fc (diff) | |
parent | ebdd3b1d5c46143558c0ede542055bdd7ea4765a (diff) | |
download | otp-7ff92508436643900bccbc67e44550b82d2effc6.tar.gz otp-7ff92508436643900bccbc67e44550b82d2effc6.tar.bz2 otp-7ff92508436643900bccbc67e44550b82d2effc6.zip |
Merge branch 'maint'
-rw-r--r-- | erts/etc/common/ct_run.c | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/erts/etc/common/ct_run.c b/erts/etc/common/ct_run.c index 5e5b612a12..853785dcd1 100644 --- a/erts/etc/common/ct_run.c +++ b/erts/etc/common/ct_run.c @@ -432,18 +432,6 @@ strsave(char* string) return p; } -/* Instead of making sure basename exists, we do our own */ -static char *simple_basename(char *path) -{ - char *ptr; - for (ptr = path; *ptr != '\0'; ++ptr) { - if (*ptr == '/' || *ptr == '\\') { - path = ptr + 1; - } - } - return path; -} - static char* get_default_emulator(char* progname) { |