diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

"-nosignals" option (used by JPL)

Browse Source
This commit is contained in:
Vitor Santos Costa 2012-09-26 22:06:59 +01:00
parent 01f8731f97
commit 20d31b8207
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/yap-args.c
View File

@ -72,6 +72,7 @@ print_usage(void)
fprintf(stderr," -GSize Max Area for Global Stack\n"); fprintf(stderr," -GSize Max Area for Global Stack\n");
fprintf(stderr," -LSize Max Area for Local Stack (number must follow L)\n"); fprintf(stderr," -LSize Max Area for Local Stack (number must follow L)\n");
fprintf(stderr," -TSize Max Area for Trail (number must follow L)\n"); fprintf(stderr," -TSize Max Area for Trail (number must follow L)\n");
fprintf(stderr," -nosignals disable signal handling from Prolog\n");
fprintf(stderr,"\n[Execution Modes]\n"); fprintf(stderr,"\n[Execution Modes]\n");
fprintf(stderr," -J0 Interpreted mode (default)\n"); fprintf(stderr," -J0 Interpreted mode (default)\n");
fprintf(stderr," -J1 Mixed mode only for user predicates\n"); fprintf(stderr," -J1 Mixed mode only for user predicates\n");
@ -202,7 +203,6 @@ YAP_parse_yap_arguments(int argc, char *argv[], YAP_init_args *iap)
while (--argc > 0) while (--argc > 0)
{ {
fprintf(stderr,"looking at %s\n", argv[1]);
p = *++argv; p = *++argv;
if (*p == '-') if (*p == '-')
switch (*++p) switch (*++p)