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:55 +0000 |
| commit | fe82e14267a0f223060b9f53157500eeeaf8445b (patch) | |
| tree | e070459e377d1345277a7082393f0766f957e0ce | |
| parent | 19042148849d2a71a79277f73aafbbd1b9478466 (diff) | |
VPP-112: linux kernel info missing from build log
Change-Id: I343418d409d682b00e74e41236382fdc6b3c780c
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
| -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 |