changeset 1:3518c3c41b30

fixed missing "patch" command-line tool in Docker
author Sebastien Jodogne <s.jodogne@gmail.com>
date Wed, 22 Mar 2023 10:32:18 +0100
parents 3f1cf4a8e31f
children ad2fc4ec99fb
files Resources/CreateVolViewDist-build.sh
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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