1 files changed, 15 insertions, 15 deletions
diff --git a/PACE/pace/posix/unistd.inl b/PACE/pace/posix/unistd.inl
index 9a0cc9f607f..fbb5ce6b403 100644
--- a/PACE/pace/posix/unistd.inl
+++ b/PACE/pace/posix/unistd.inl
@@ -75,6 +75,15 @@ pace_dup2 (int fildes, int fildes2)
 
 PACE_INLINE
 int
+pace_execv (const char * path,
+            char * const argv[])
+{
+  return execv (path, argv);
+  /* if successful, this operation does NOT return */
+}
+
+PACE_BROKEN_INLINE
+int
 pace_execl (const char* path, const char* arg, ...)
 {
   int result = 0;
@@ -87,14 +96,15 @@ pace_execl (const char* path, const char* arg, ...)
 
 PACE_INLINE
 int
-pace_execv (const char * path,
-            char * const argv[])
+pace_execve (const char * path,
+             char * const argv[],
+             char * const envp[])
 {
-  return execv (path, argv);
+  return execve (path, argv, envp);
   /* if successful, this operation does NOT return */
 }
 
-PACE_INLINE
+PACE_BROKEN_INLINE
 int
 pace_execle (const char* path, const char* arg, ...)
 {
@@ -115,7 +125,7 @@ pace_execvp (const char * file,
   /* if successful, this operation does NOT return */
 }
 
-PACE_INLINE
+PACE_BROKEN_INLINE
 int
 pace_execlp (const char* file, const char* arg,  ...)
 {
@@ -129,16 +139,6 @@ pace_execlp (const char* file, const char* arg,  ...)
 
 PACE_INLINE
 int
-pace_execve (const char * path,
-             char * const argv[],
-             char * const envp[])
-{
-  return execve (path, argv, envp);
-  /* if successful, this operation does NOT return */
-}
-
-PACE_INLINE
-int
 pace_fdatasync (int fildes)
 {
   return fdatasync (fildes);