From 9288e0d61cb01b56b449405fd8863207b8b2507d Mon Sep 17 00:00:00 2001
From: Irshad Pananilath <pmirshad+code@gmail.com>
Date: Wed, 7 Jul 2021 11:55:39 +0530
Subject: [PATCH] build_docker.sh: use build_dist.sh to inject version
 information

version.sh was removed in commit 5088af68. Use `build_dist.sh shellvars`
to provide version information instead.

Signed-off-by: Irshad Pananilath <pmirshad+code@gmail.com>
---
 build_docker.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_docker.sh b/build_docker.sh
index 5ec9729ea..589662d3e 100755
--- a/build_docker.sh
+++ b/build_docker.sh
@@ -25,7 +25,7 @@
 
 set -eu
 
-eval $(./version/version.sh)
+eval $(./build_dist.sh shellvars)
 
 docker build \
   --build-arg VERSION_LONG=$VERSION_LONG \