version 1.17, 2004/06/20 04:55:32 |
version 1.18, 2019/03/29 02:49:48 |
|
|
/* $OpenXM: OpenXM/rc/repl.c,v 1.16 2004/06/14 11:10:40 takayama Exp $ */ |
/* $OpenXM: OpenXM/rc/repl.c,v 1.17 2004/06/20 04:55:32 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <stdlib.h> |
#include <stdlib.h> |
Line 59 main(int argc,char *argv[]) { |
|
Line 59 main(int argc,char *argv[]) { |
|
printf("OpenXM_HOME=%s\n",cwd); |
printf("OpenXM_HOME=%s\n",cwd); |
}else if (strcmp(s,"setenv OpenXM_HOME $HOME/OpenXM\n") == 0) { |
}else if (strcmp(s,"setenv OpenXM_HOME $HOME/OpenXM\n") == 0) { |
printf("setenv OpenXM_HOME %s\n",cwd); |
printf("setenv OpenXM_HOME %s\n",cwd); |
|
}else if (strcmp(s,"OpenXM_HOME=$(HOME)/OpenXM\n") == 0) { |
|
printf("OpenXM_HOME=%s\n",cwd); |
|
}else if (strcmp(s,"setenv OpenXM_HOME \"$(HOME)\"/OpenXM\n") == 0) { |
|
printf("setenv OpenXM_HOME %s\n",cwd); |
|
}else if (strcmp(s,"OpenXM_HOME=\"${HOME}\"/OpenXM\n") == 0) { |
|
printf("OpenXM_HOME=%s\n",cwd); |
}else{ |
}else{ |
printf("%s",s); |
printf("%s",s); |
} |
} |