Revision 1eb37421
| ID | 1eb37421cfce29c5187ec12f3c0da5b874116f67 |
| Parent | 592eb0df |
| Child | 0625d08f |
Add XEN_CMD to _autoconf.py
This is needed so we can specify the xen command upon configure time
Signed-off-by: René Nussbaumer <rn@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
Files
- added
- modified
- copied
- renamed
- deleted