diff options
Diffstat (limited to 'rts/parallel/ParInit.h')
| -rw-r--r-- | rts/parallel/ParInit.h | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/rts/parallel/ParInit.h b/rts/parallel/ParInit.h new file mode 100644 index 0000000000..a22a50bae6 --- /dev/null +++ b/rts/parallel/ParInit.h @@ -0,0 +1,19 @@ +/* ----------------------------------------------------------------------------- + * ParInit.h,1 + * + * Phil Trinder + * July 1998 + * + * External Parallel Initialisation Interface + * + * ---------------------------------------------------------------------------*/ + +#ifndef PARINIT_H +#define PARINIT_H + +extern void RunParallelSystem (P_); +extern void initParallelSystem(void); +extern void SynchroniseSystem(void); +extern void par_exit(I_); + +#endif /* PARINIT_H */ |