/* execve.c */

/* This and the other exec*.c files in this directory require 
   the target to provide the _execve syscall.  */

int
execve (const char *path, char * const argv[], char * const envp[])
{
  return _execve (path, argv, envp);
}