aboutsummaryrefslogtreecommitdiffstats
path: root/build-root/vagrant
diff options
context:
space:
mode:
authorDave Wallace <dwallacelf@gmail.com>2016-06-03 17:09:11 -0400
committerDave Barach <openvpp@barachs.net>2016-06-05 13:49:40 +0000
commit431cd2f15087834069f081ac96e09ac538ebed2c (patch)
tree7dfabfa8e13d1b69e915c23abe38fca58d381045 /build-root/vagrant
parent7185c3bb682bf93922cd03d0d3b43e931491a907 (diff)
VPP-112: linux kernel info missing from build log
Change-Id: I343418d409d682b00e74e41236382fdc6b3c780c Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'build-root/vagrant')
-rwxr-xr-xbuild-root/vagrant/build.sh9
1 files changed, 9 insertions, 0 deletions
diff --git a/build-root/vagrant/build.sh b/build-root/vagrant/build.sh
index 7fd7e3a6cff..aecb1d64a72 100755
--- a/build-root/vagrant/build.sh
+++ b/build-root/vagrant/build.sh
@@ -27,6 +27,15 @@ elif [ -f /etc/redhat-release ];then
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