Author: waldi
Date: Sun Nov 15 14:18:04 2009
New Revision: 667
Log:
debian/bin/genorig.py: Include tools/hotplug.
Modified:
trunk/xen-common/debian/bin/genorig.py
Modified: trunk/xen-common/debian/bin/genorig.py
=============================================================================---
trunk/xen-common/debian/bin/genorig.py Sun Nov 15 14:06:06 2009 (r666)
+++ trunk/xen-common/debian/bin/genorig.py Sun Nov 15 14:18:04 2009 (r667)
@@ -13,7 +13,9 @@
class Main(object):
log = sys.stdout.write
- files = (''config'', ''Config.mk'',
''docs/Docs.mk'', ''docs/Makefile'',
''docs/man'', ''tools/Rules.mk'',
''tools/examples'')
+ files = (''config'', ''Config.mk'',
+ ''docs/Docs.mk'',
''docs/Makefile'', ''docs/man'',
+ ''tools/Rules.mk'',
''tools/cross-install'', ''tools/examples'',
''tools/hotplug'')
def __init__(self, options, repo):
self.options, self.repo = options, repo