* inftarg.c (child_wait): Call proc_wait, not wait.

(child_mourn_inferior): Call proc_remove_foreign.
	* main.c (gdb_init): Call init_proc.
	* main.c: Provide dummy versions of init_proc, proc_wait, and
	proc_remove_foreign for the gdb case (the libgdb case provides its
	own versions of these functions).
	* Makefile.in (libgdb-files): Add libproc.a.

gdb/main.c

@@ -518,6 +518,8 @@ read_command_file (stream)
   do_cleanups (cleanups);
 }
 
+extern void init_proc ();
+
 void
 gdb_init ()
 {
@@ -528,6 +530,8 @@ gdb_init ()
   init_main ();		/* But that omits this file!  Do it now */
   init_signals ();
 
+  init_proc ();
+
   /* We need a default language for parsing expressions, so simple things like
      "set width 0" won't fail if no language is explicitly set in a config file
      or implicitly set by reading an executable during startup. */
@@ -1026,6 +1030,25 @@ GDB manual (available as on-line info or a printed manual).\n", gdb_stdout);
     }
   /* No exit -- exit is through quit_command.  */
 }
+
+void
+init_proc ()
+{
+}
+
+int
+proc_wait (pid, status)
+     int pid;
+     int *status;
+{
+  return wait (status);
+}
+
+void
+proc_remove_foreign (pid)
+     int pid;
+{
+}
 #endif /* MAIN_OVERRIDE */
 
 void