| commit | dfc4f3dbff0e6213ab9936f9af4305cbeb515afb | [log] [tgz] |
|---|---|---|
| author | Josh Gao <jmgao@google.com> | Tue Sep 01 13:28:40 2015 -0700 |
| committer | Josh Gao <jmgao@google.com> | Tue Sep 01 13:28:40 2015 -0700 |
| tree | 16b4847907646876fa5adf19838a66b0bf18d2da | |
| parent | 4c7dac3cd5e79a4b69a8feea230b47bb452bb6e8 [diff] |
Use $DEFAULT_{GDB,PYTHON}_VERSION instead of hardcoded values.
Change-Id: I85a80d3adf029888f04e05042709151f37f49968