# | Line 24 | Line 24 | identifier ("_"|{letter})({letter}|{digit}|"-"|"_")* | |
---|---|---|
24 | #include <stdio.h> | |
25 | #include <string.h> | |
26 | #include "BASS_parse.h" | |
27 | + | #ifdef IS_MPI |
28 | + | #define __is_lex__ |
29 | + | #include "../headers/mpiInterface.h" |
30 | + | #endif |
31 | ||
32 | typedef unsigned short int r_short; | |
33 | ||
# | Line 412 | Line 416 | void check_def_buff( char* defined, int index ){ | |
416 | if( index >= DEFINED_BUFFER_SIZE ){ | |
417 | ||
418 | fprintf( stderr, "Define buffer size exceeded for %s\n", defined ); | |
419 | + | #ifdef IS_MPI |
420 | + | mpiInterfaceExit(); |
421 | + | #endif |
422 | exit(1); | |
423 | } | |
424 | } |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |