diff options
author | Tuncer Ayaz <[email protected]> | 2013-03-31 13:32:23 +0200 |
---|---|---|
committer | Tuncer Ayaz <[email protected]> | 2013-03-31 13:32:45 +0200 |
commit | 43ecc00379ed93037919bb209c179bf1bf4fee63 (patch) | |
tree | 9e664ccfd62ab05089c784e100426eb493843849 /erts | |
parent | 9754ff636fac43cc550c443e18f90afacf21344e (diff) | |
download | otp-43ecc00379ed93037919bb209c179bf1bf4fee63.tar.gz otp-43ecc00379ed93037919bb209c179bf1bf4fee63.tar.bz2 otp-43ecc00379ed93037919bb209c179bf1bf4fee63.zip |
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) { |