diff options
| author |   Koki Kiriyama <kiriyama.kk@gmail.com> | 2023-04-15 13:50:23 +0900 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2023-04-25 15:12:23 +0000 |
| commit | 140ca0fa95b4b8c037dfa83e99fd08620e93c646 (patch) | |
| tree | e6b6c3da452f4af91d62c0421c22ec6f4de33cd9 /extras/vagrant/build.sh | |
| parent | dda1f6871e3962a4db77e919025ab512a5b3a9fa (diff) | |
build: correct variable name
Type: fix
Signed-off-by: Koki Kiriyama <kiriyama.kk@gmail.com>
Change-Id: I47c4c91aa6f973bd93dca352f470642e90aa70e0
Diffstat (limited to 'extras/vagrant/build.sh')
| -rwxr-xr-x | extras/vagrant/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/vagrant/build.sh b/extras/vagrant/build.sh index ea32ffe90c3..0e63947a8b5 100755 --- a/extras/vagrant/build.sh +++ b/extras/vagrant/build.sh @@ -32,7 +32,7 @@ echo KERNEL_MACHINE: $KERNEL_MACHINE echo KERNEL_RELEASE: $KERNEL_RELEASE echo KERNEL_VERSION: $KERNEL_VERSION echo OS_ID: $OS_ID -echo OS_VERSION_ID: $OS_ID +echo OS_VERSION_ID: $OS_VERSION_ID # Install dependencies cd $VPP_DIR |