commit 431cd2f15087834069f081ac96e09ac538ebed2c
author Dave Wallace <dwallacelf@gmail.com> Fri Jun 03 17:09:11 2016 -0400
committer Dave Barach <openvpp@barachs.net> Sun Jun 05 13:49:40 2016 +0000
tree 7dfabfa8e13d1b69e915c23abe38fca58d381045
parent 7185c3bb682bf93922cd03d0d3b43e931491a907

VPP-112: linux kernel info missing from build log

Change-Id: I343418d409d682b00e74e41236382fdc6b3c780c
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>

build-root/vagrant/build.sh

diff --git a/build-root/vagrant/build.sh b/build-root/vagrant/build.sh
index 7fd7e3a..aecb1d6 100755
--- a/build-root/vagrant/build.sh
+++ b/build-root/vagrant/build.sh
@@ -27,6 +27,15 @@
     DISTRIB_CODENAME=`lsb_release -sc`
     DISTRIB_DESCRIPTION=`lsb_release -sd`
 fi
+KERNEL_OS=`uname -o`
+KERNEL_MACHINE=`uname -m`
+KERNEL_RELEASE=`uname -r`
+KERNEL_VERSION=`uname -v`
+
+echo KERNEL_OS: $KERNEL_OS
+echo KERNEL_MACHINE: $KERNEL_MACHINE
+echo KERNEL_RELEASE: $KERNEL_RELEASE
+echo KERNEL_VERSION: $KERNEL_VERSION
 echo DISTRIB_ID: $DISTRIB_ID
 echo DISTRIB_RELEASE: $DISTRIB_RELEASE
 echo DISTRIB_CODENAME: $DISTRIB_CODENAME