[Pkg-xen-changes] r667 - trunk/xen-common/debian/bin

[Bastian Blank]

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