debian: cp version-code etc. to xenomai-kernel-source pkg

Needed by `prepare-kernel.sh`
zultron · May 20, 2015 · 25fb98b · 25fb98b
1 parent d95a071
commit 25fb98b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/debian/rules b/debian/rules
@@ -71,6 +71,9 @@ install: build
 	cp debian/libxenomai-dev.lintian $(CURDIR)/debian/libxenomai-dev/usr/share/lintian/overrides/libxenomai-dev
 	mkdir -p $(CURDIR)/debian/xenomai-kernel-source/usr/src/xenomai-kernel-source $(CURDIR)/debian/xenomai-kernel-source/usr/share/doc/xenomai-kernel-source
 	cp -a kernel include scripts $(CURDIR)/debian/xenomai-kernel-source/usr/src/xenomai-kernel-source
+	mkdir -p $(CURDIR)/debian/xenomai-kernel-source/usr/src/xenomai-kernel-source/config
+	cp config/version-* \
+	    $(CURDIR)/debian/xenomai-kernel-source/usr/src/xenomai-kernel-source/config
 
 # Build architecture-independent files here.
 binary-indep: build install