Commit 815c4f14 authored by MARCHE Claude's avatar MARCHE Claude

better error message cpulimit

parent 3a589391
......@@ -461,7 +461,7 @@ TOOLS = bin/why3-cpulimit
byte opt: $(TOOLS)
bin/why3-cpulimit: src/tools/@CPULIMIT@.c
$(CC) -o $@ $^
$(CC) -Wall -o $@ $^
clean::
rm -f bin/why3-cpulimit src/tools/*~
......
......@@ -32,6 +32,7 @@
#include <stdlib.h>
#include <unistd.h>
#include <errno.h>
#include <string.h>
int main(int argc, char *argv[]) {
int timelimit, memlimit;
......@@ -66,7 +67,7 @@ a null value sets no limit (keeps the actual limit)\n", argv[0]);
/* execute the command */
execvp(argv[3],argv+3);
perror("why-cpulimit exec error");
fprintf(stderr, "%s: exec of '%s' failed (%s)\n",argv[0],argv[3],strerror(errno));
return 1;
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment