# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1679477538 -3600
# Node ID 3518c3c41b30f75713abb7ad4353dbba5db0cd9d
# Parent  3f1cf4a8e31f0d7a54d286e5c1b50564b0eb9745
fixed missing "patch" command-line tool in Docker

diff -r 3f1cf4a8e31f -r 3518c3c41b30 Resources/CreateVolViewDist-build.sh
--- a/Resources/CreateVolViewDist-build.sh	Wed Mar 22 10:16:47 2023 +0100
+++ b/Resources/CreateVolViewDist-build.sh	Wed Mar 22 10:32:18 2023 +0100
@@ -26,6 +26,9 @@
     exit -1
 fi
 
+apt update
+apt install patch
+
 cd /tmp/
 tar xvf /source/VolView-$1.tar.gz