14 lines
251 B
C
14 lines
251 B
C
#include "kernel/types.h"
|
|
#include "user/user.h"
|
|
|
|
int main(int argc, char *argv[]) {
|
|
if (argc != 2) {
|
|
fprintf(2, "Usage: sleep <time>\n");
|
|
exit(1);
|
|
}
|
|
int time = atoi(argv[1]);
|
|
// printf("time: %d\n", time);
|
|
sleep(time);
|
|
exit(0);
|
|
}
|