diff options
Diffstat (limited to 'byterun/main.c')
| -rw-r--r-- | byterun/main.c | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/byterun/main.c b/byterun/main.c index acc5acf34..9afd3f2be 100644 --- a/byterun/main.c +++ b/byterun/main.c @@ -22,10 +22,6 @@ extern void caml_main (char **); -#ifdef __linux__ -#include <unistd.h> -#endif - #ifdef _WIN32 extern void expand_command_line (int *, char ***); #endif @@ -41,15 +37,6 @@ int main(int argc, char **argv) /* Expand wildcards and diversions in command line */ expand_command_line(&argc, &argv); #endif -#ifdef __linux__ - /* Recover argv[0] from /proc/self/exe, much more reliable */ - char exename[1024]; - int retcode = readlink("/proc/self/exe", exename, sizeof(exename)); - if (retcode != -1 && retcode < sizeof(exename)) { - exename[retcode] = 0; - argv[0] = exename; - } -#endif #if macintosh rotatecursor_options (&something_to_do, 0, NULL); #endif /* macintosh */ |