Changeset abb12f in git
- Timestamp:
- Nov 8, 2013, 5:40:43 PM (10 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 70b3ae0102981cd252f90101eaae430e561b8335
- Parents:
- 1b67251e4a873733c02ccc815041eedc24741797bf60110df1fa419b30f99931324a3f93e540bb71
- Location:
- Singular
- Files:
-
- 2 added
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/Makefile.am
r1b6725 rabb12f 138 138 walk_ip.cc\ 139 139 wrapper.cc\ 140 fereadl.c mmstd.c claptmpl.cc 140 fereadl.c mmstd.c claptmpl.cc\ 141 rlimit.c 141 142 142 143 # links/slInit_Dynamic.cc -
Singular/checklibs.c
rbf60110 rabb12f 294 294 pp=p+8; 295 295 while((*pp)==' ') pp++; 296 if (((*pp)!='"') || (strstr(pp,"$Id")==NULL)) 297 printf("error: version string should start with $""Id"); 296 /* syntax of version string: "version <filename> <version> <date> " 297 if (*pp)!='"') 298 printf("error: version string should ...."); 299 */ 298 300 } 299 301 } … … 414 416 /* part 3: summary*/ 415 417 printf("\nproc part parsed: %d lines of %s\n",footer,argv[1]); 416 if (have_version!=1) printf("version missing/dup plicate (%d)\n",have_version);417 if (have_category!=1) printf("category missing/dup plicate (%d)\n",have_category);418 if (have_info!=1) printf("info missing/dup plicate (%d)\n",have_info);418 if (have_version!=1) printf("version missing/duplicate (%d)\n",have_version); 419 if (have_category!=1) printf("category missing/duplicate (%d)\n",have_category); 420 if (have_info!=1) printf("info missing/duplicate (%d)\n",have_info); 419 421 420 422 printf("\nGENERAL SUMMARY:\n"); -
Singular/links/ssiLink.cc
r1b6725 rabb12f 38 38 #include <libpolys/misc/options.h> 39 39 #include <kernel/timer.h> 40 #include <Singular/rlimit.h> 40 41 #include <Singular/subexpr.h> 41 42 #include <Singular/links/silink.h> … … 779 780 pipe(pc); 780 781 pipe(cp); 781 pid_t pid=fork(); 782 pid_t pid = fork(); 783 if (pid == -1 && errno == EAGAIN) // RLIMIT_NPROC too low? 784 { 785 raise_rlimit_nproc(); 786 pid = fork(); 787 } 788 if (pid == -1) 789 { 790 WerrorS("could not fork"); 791 } 782 792 if (pid==0) /*fork: child*/ 783 793 {
Note: See TracChangeset
for help on using the changeset viewer.