Changeset 8836a9 in git
- Timestamp:
- Jan 8, 2013, 11:58:46 PM (10 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
- Children:
- 16735072270cd28225d49e8d896664f0b02c46e7
- Parents:
- d101b165f063c8f437a101b437baa6095a596422
- git-author:
- Max Horn <max@quendi.de>2013-01-08 23:58:46+01:00
- git-committer:
- Oleksandr Motsak <http://goo.gl/mcpzY>2013-01-10 16:45:07+01:00
- Location:
- Singular
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/libparse.cc
rd101b1 r8836a9 3510 3510 3511 3511 #ifdef STANDALONE_PARSER 3512 main( int argc, char *argv[] )3512 int main( int argc, char *argv[] ) 3513 3513 { 3514 3514 lib_style_types lib_style; … … 3517 3517 { 3518 3518 fprintf(stderr, "No library found to parse.\n"); 3519 exit(1);3519 return 1; 3520 3520 } 3521 3521 if (! (texinfo_out || category_out)) … … 3539 3539 if (texinfo_out) 3540 3540 printf("1;"); 3541 exit(0);3541 return 0; 3542 3542 } 3543 3543 -
Singular/libparse.ll
rd101b1 r8836a9 970 970 971 971 #ifdef STANDALONE_PARSER 972 main( int argc, char *argv[] )972 int main( int argc, char *argv[] ) 973 973 { 974 974 lib_style_types lib_style; … … 977 977 { 978 978 fprintf(stderr, "No library found to parse.\n"); 979 exit(1);979 return 1; 980 980 } 981 981 if (! (texinfo_out || category_out)) … … 999 999 if (texinfo_out) 1000 1000 printf("1;"); 1001 exit(0);1001 return 0; 1002 1002 } 1003 1003
Note: See TracChangeset
for help on using the changeset viewer.