/* execl.c (emx+gcc) -- Copyright (c) 1992-1995 by Eberhard Mattes */

#include <stddef.h>
#include <stdarg.h>
#include <process.h>

int _execl (const char *name, const char *arg0, ...)
{
  va_list arg_ptr;
  int result;

  va_start (arg_ptr, name);

  /* Note: Passing `arg_ptr' to spawnv() is not portable. */

  result = _spawnv (P_OVERLAY, name, (char * const *)arg_ptr);
  va_end (arg_ptr);
  return result;
}