===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/ox100start.c,v
retrieving revision 1.2
retrieving revision 1.6
diff -u -p -r1.2 -r1.6
--- OpenXM/src/kxx/ox100start.c	2003/07/21 11:56:33	1.2
+++ OpenXM/src/kxx/ox100start.c	2004/02/28 12:27:15	1.6
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kxx/ox100start.c,v 1.1 2003/07/21 07:32:01 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kxx/ox100start.c,v 1.5 2003/11/20 07:18:41 takayama Exp $ */
 /* Moved from misc-2003/07/cygwin/test.c */
 #include <stdio.h>
 #include <sys/types.h>
@@ -13,7 +13,11 @@
 
 static void usage(void);
 static int forkExec(char **argv);
+void *sGC_malloc(int size) {
+  return ((void *)malloc(size));
+}
 
+int Quiet = 0;
 extern char **environ;
 
 main(int argc,char *argv[]) {
@@ -26,16 +30,17 @@ main(int argc,char *argv[]) {
   int i;
   char *serverName;
 
+
   /*
-  if (Verbose_get_home) { 
 	printf("ostype=%s\n",getOStypes());
 	printf("OpenXM_HOME=%s\n",getOpenXM_HOME());
 	printf("sm lib =%s\n",get_sm1_lib_path());
 	printf("k0 lib =%s\n",get_k0_lib_path());
 	printf("ox_asir =%s\n",get_ox_asir_path());
-  }
   */
+  ox_pathfinderVerbose(1);
 
+
   /* Initialize parameters */
   serverName = NULL;
   aaa = NULL;
@@ -54,6 +59,8 @@ main(int argc,char *argv[]) {
 	  aaa = getServerEnv(serverName);
 	}else if (strcmp(argv[i],"-nox")==0) {
 	  ox_pathfinderNoX(1);
+	}else if (strcmp(argv[i],"-quiet")==0) {
+	  Quiet = 1;  ox_pathfinder_quiet();
 	}else{
 	  fprintf(stderr,"Unknown option.\n");
 	  usage();
@@ -124,6 +131,25 @@ static int forkExec(char **argv) {
 	  dup2(fileno(null),1);
 	  dup2(fileno(null),2);
 	}
+
+    /*
+	{
+	  int i;
+	  i = 0;
+	  fprintf(stderr,"argv-----------\n");
+	  while (argv[i] != NULL) {
+		fprintf(stderr,"%s  ",argv[i++]);
+	  }
+      fprintf(stderr,"\n");
+	  i = 0;
+	  fprintf(stderr,"environ-----------\n");
+	  while (environ[i] != NULL) {
+		fprintf(stderr,"%s  ",environ[i++]);
+	  }
+	  fprintf(stderr,"\n");
+    }	
+	*/
+
     execve(argv[0],argv,environ);
     /* This place will never be reached unless execv fails. */
     fprintf(stderr,"forkExec fails: ");