user/sleep.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#include "kernel/types.h"
#include "user/user.h"

int
main(int argc, char* argv[])
{
  uint sec = 0;

  if (argc <= 1) {
    fprintf(2, "usage: sleep [time (ticks)]\n");
    exit(1);
  }
  sec = atoi(argv[1]);

  sleep(sec);

  if (argc <= 2) {
    exit(0);
  }

  exit(0);
}