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