diff options
author | Fredrik Gustafsson <[email protected]> | 2013-04-03 12:03:51 +0200 |
---|---|---|
committer | Fredrik Gustafsson <[email protected]> | 2013-04-03 12:03:51 +0200 |
commit | ebdd3b1d5c46143558c0ede542055bdd7ea4765a (patch) | |
tree | 037a53eb05034afa61a14383f4531c0507d04d18 /erts | |
parent | b61948f702acba45ad1882853d6e7100a5f6ee77 (diff) | |
parent | 43ecc00379ed93037919bb209c179bf1bf4fee63 (diff) | |
download | otp-ebdd3b1d5c46143558c0ede542055bdd7ea4765a.tar.gz otp-ebdd3b1d5c46143558c0ede542055bdd7ea4765a.tar.bz2 otp-ebdd3b1d5c46143558c0ede542055bdd7ea4765a.zip |
Merge branch 'ta/ct_run-unused-fun/OTP-11003' into maint
* ta/ct_run-unused-fun/OTP-11003:
ct_run: delete unused function
Diffstat (limited to 'erts')
-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) { |