diff options
| author | Martin Sandiford <ms@mcdev.com.au> | 2017-08-15 10:41:21 +0930 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2017-08-15 19:51:06 -0400 |
| commit | 4757140107ba702a75fa36ca379a7b5335ee9d0b (patch) | |
| tree | c77c58e8fa098650fb8cfdc67a0da2d12db1c6f1 /Makefile | |
| parent | c6224236682c2ac40ccfe752c57fd3ec4905757f (diff) | |
Wrapped process_leader.c in #ifndef DISABLE_LEADER to allow compilation with DISABLE_LEADER defined.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions