commit | 9f6009906bf01fd886d720a14b94654788d98ffa | [log] [tgz] |
---|---|---|
author | James Zern <jzern@google.com> | Tue May 10 18:32:00 2016 -0700 |
committer | James Zern <jzern@google.com> | Tue May 10 18:35:09 2016 -0700 |
tree | 4c49d353e855f5718305e1d8f3dbe6f174e384bd | |
parent | a2dc61c7a6075b5c3d34f3c7b8a9298109854035 [diff] |
fix 'dist' build w/CONFIG_DERING disabled calls into pickdering.c are protected by CONFIG_DERING as are its common headers. fixes missing dering.h when trying to build in a 'make dist' directory Change-Id: I6089f48eecfe82e98b316bef12c2bf045d226f3c