diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2016-06-03 17:09:11 -0400 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2016-06-05 13:49:40 +0000 |
| commit | 431cd2f15087834069f081ac96e09ac538ebed2c (patch) | |
| tree | 7dfabfa8e13d1b69e915c23abe38fca58d381045 /build-root/vagrant | |
| parent | 7185c3bb682bf93922cd03d0d3b43e931491a907 (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-x | build-root/vagrant/build.sh | 9 |
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 |