version 1.10, 2017/10/02 06:46:11 |
version 1.11, 2019/12/13 15:41:36 |
|
|
/* Copyright (c) 1987, 1988 by Software Research Associates, Inc. */ |
/* Copyright (c) 1987, 1988 by Software Research Associates, Inc. */ |
|
|
|
#if defined(ANDROID) |
|
#include <strings.h> |
|
#define index(s,c) strchr(s,c) |
|
#define rindex(s,c) strrchr(s,c) |
|
#endif |
|
|
#ifndef lint |
#ifndef lint |
static char rcsid[]= |
static char rcsid[]= |
"$Id$ (SRA)"; |
"$Id$ (SRA)"; |
|
|
* Set variable of command name. |
* Set variable of command name. |
*/ |
*/ |
{ |
{ |
|
#if defined(ANDROID) |
|
char *cp = argv[1]; |
|
#else |
char *cp = argv[1], *rindex(); |
char *cp = argv[1], *rindex(); |
|
#endif |
|
|
if (any ('/', cp)) |
if (any ('/', cp)) |
cp = rindex (cp, '/') + 1; |
cp = rindex (cp, '/') + 1; |