| commit | 58f801755e7a27b7621b3480e8a964beabc60749 | [log] [tgz] |
|---|---|---|
| author | Sebastien Alaiwan <sebastien.alaiwan@allegrodvt.com> | Mon Feb 27 15:07:14 2017 +0100 |
| committer | sebastien alaiwan <sebastien.alaiwan@allegrodvt.com> | Mon Feb 27 17:16:10 2017 +0000 |
| tree | 932148ac21b27c882521b6423f6fae8111fa911e | |
| parent | 7f094f10aadc812897893f136d8804004f74a5d3 [diff] |
Remove dead option from configure script. Change-Id: I93bfff59810fe2d8e880012de02921ae857f300b