Lines Matching +full:- +full:1200 +full:ps

37 mycc -o pause -Wall -Wextra -O0 -g pause.c || exit 1
38 rm -f pause.c
44 while pgrep -q pause; do
46 	[ $((`date +%s` - $start)) -gt 1200 ] &&
47 		{ echo "Timed out"; pgrep pause | xargs ps -lp; exit 1; }
53 rm -rf $dir/pause
103 	while (time(NULL) - start < 60) {
105 		if (kill(pid, SIGHUP) == -1)
127 	if (sigaction(SIGHUP, &sa, NULL) == -1)
133 	    MAP_ANON | MAP_SHARED, -1, 0)) == MAP_FAILED)
137 	while ((time(NULL) - start) < RUNTIME && e == 0) {
142 			if (pids[i] == -1)
146 			if (waitpid(pids[i], &status, 0) == -1)