2019-06-11 13:57:14 +00:00
|
|
|
#include "kernel/types.h"
|
|
|
|
|
#include "kernel/stat.h"
|
|
|
|
|
#include "user/user.h"
|
2006-07-28 22:33:07 +00:00
|
|
|
|
|
|
|
|
int
|
|
|
|
|
main(int argc, char *argv[])
|
|
|
|
|
{
|
|
|
|
|
int i;
|
|
|
|
|
|
2007-08-24 20:03:40 +00:00
|
|
|
for(i = 1; i < argc; i++)
|
|
|
|
|
printf(1, "%s%s", argv[i], i+1 < argc ? " " : "\n");
|
2006-07-28 22:33:07 +00:00
|
|
|
exit();
|
|
|
|
|
}
|
