Wladimir J. van der Laan cb088b1461
Merge #13005: Make --enable-debug to pick better options
9e49db2 Make --enable-debug to pick better options (Evan Klitzke)

Pull request description:

  Cherry-picked (and rebased) 94189645e67f364c4445d62e2b00c282d885cbbf from the "up for grabs" PR: "[build] Make --enable-debug pick better options" (#12695).

  See previous review in #12695.

Tree-SHA512: a93cdadcf13e2ef8519acb1ce4f41ce95057a388347bb0a86a5c164dc7d0b0d14d4bb2a466082d5a100b8d50de65c605c40abaed555e8ea77c99e28800a34439
2018-05-14 15:33:03 +02:00
..
2018-05-09 12:21:05 -04:00
2018-02-16 08:59:28 -05:00
2017-09-29 16:02:39 +02:00
2018-02-10 09:55:54 -05:00
2018-03-06 21:52:53 +01:00
2018-03-21 11:57:57 +08:00
2018-05-09 12:21:05 -04:00
2018-02-11 10:48:15 +01:00
2018-03-06 19:52:19 +00:00
2018-03-06 19:52:19 +00:00
2018-03-13 17:04:31 -07:00
2018-04-16 13:24:14 -07:00
2018-03-13 17:04:31 -07:00
2018-05-09 12:21:05 -04:00
2018-05-09 12:21:05 -04:00
2018-01-23 13:16:56 -05:00
2018-04-09 09:18:49 +02:00
2018-03-14 23:10:39 -07:00
2018-04-16 13:24:14 -07:00
2018-04-16 13:24:14 -07:00
2018-03-21 08:34:44 +02:00
2018-05-09 12:21:05 -04:00
2018-05-09 12:21:05 -04:00
2018-03-06 20:28:08 -08:00