From 4089293fce7a32e36181062a2ba562a371916865 Mon Sep 17 00:00:00 2001 From: Shobhi Jain Date: Wed, 1 Nov 2017 14:23:53 +0000 Subject: docker: update docker configuration * update docker user guide Change-Id: Ia2d7ec26562e8b9feadd8a63459aac401bf18c44 Signed-off-by: Shobhi Jain --- systems/build_base_machine.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'systems') diff --git a/systems/build_base_machine.sh b/systems/build_base_machine.sh index dab2e761..e78b7fe7 100755 --- a/systems/build_base_machine.sh +++ b/systems/build_base_machine.sh @@ -63,7 +63,7 @@ else fi if [ -z ${DOCKER+x} ]; then if [ ! -d /lib/modules/`uname -r`/build ] ; then - die "Kernel devel is not available for active kernel. It can be caused by recent kernel update. Please reboot and run $0 again." + die "Kernel devel is not available for active kernel. It can be caused by recent kernel update. Please reboot and run $0 again." fi fi # download and compile DPDK and Collectd -- cgit 1.2.3-korg