1diff -rc asc-support-2.6/lib/asc-main.c asc-support-2.6-new/lib/asc-main.c
2*** asc-support-2.6/lib/asc-main.c 2008-11-10 14:12:47.000000000 +0100
3--- asc-support-2.6-new/lib/asc-main.c 2010-08-24 11:02:04.000000000 +0200
4***************
5*** 7,13 ****
6 #include <ctype.h>
7 #include <string.h>
8 #include <sys/time.h>
9- #include <sys/resource.h>
10 #include <unistd.h>
11 #include <aterm2.h>
12 #include <sglrInterface.h>
13--- 7,12 ----
14***************
15*** 46,52 ****
16 }
17
18 static void printStats() {
19- struct rusage usage;
20 FILE *file;
21 char buf[BUFSIZ];
22 int size, resident, shared, trs, lrs, drs, dt;
23--- 45,50 ----
24***************
25*** 61,74 ****
26 fprintf(stderr, "could not open %s\n", buf);
27 perror("");
28 }
29! if (getrusage(RUSAGE_SELF, &usage) == -1) {
30! perror("rusage");
31! } else {
32! fprintf(stderr, "utime : %ld.%06d sec.\n",
33! (long)usage.ru_utime.tv_sec, (int)usage.ru_utime.tv_usec);
34! fprintf(stderr, "stime : %ld.%06d sec.\n",
35! (long)usage.ru_stime.tv_sec, (int)usage.ru_stime.tv_usec);
36! }
37 }
38
39 static ATbool toolbusMode(int argc, char* argv[]) {
40--- 59,66 ----
41 fprintf(stderr, "could not open %s\n", buf);
42 perror("");
43 }
44! fprintf(stderr, "utime : %ld.%06d sec.\n", 0, 0);
45! fprintf(stderr, "stime : %ld.%06d sec.\n", 0, 0);
46 }
47
48 static ATbool toolbusMode(int argc, char* argv[]) {