Fix devenv image

Roming22 · Roming22 · commit 5603555960ae · 2023-02-28T14:45:06.000-05:00
Signed-off-by: Romain Arnaud &lt;rarnaud@redhat.com&gt;
diff --git a/developer/hack/build_image.sh b/developer/hack/build_image.sh
@@ -140,7 +140,7 @@ build_image() {
     context="$PROJECT_DIR"
     ;;
   esac
-  $CONTAINER_ENGINE build --file "$image_dir/Dockerfile" --tag "$image_name:$TAG" "$context"
+  $CONTAINER_ENGINE build --file "$image_dir/Dockerfile" --pull --tag "$image_name:$TAG" "$context"
   echo
 }
 
diff --git a/developer/images/devenv/Dockerfile b/developer/images/devenv/Dockerfile
@@ -9,7 +9,7 @@ RUN set -x \
         openssl-3.0.5 \
         procps-ng-3.3.17 \
         # python3-devl is needed when installing checkov's dependencies
-        python3-devel-3.11.1 \
+        python3-devel-3.11.2 \
         python3-pip-22.2.2 \
         unzip-6.0 \
         which-2.21 \

Original file line number	Diff line number	Diff line change
`@@ -140,7 +140,7 @@ build_image() {`
`140`	`140`	`context="$PROJECT_DIR"`
`141`	`141`	`;;`
`142`	`142`	`esac`
`143`		`- $CONTAINER_ENGINE build --file "$image_dir/Dockerfile" --tag "$image_name:$TAG" "$context"`
	`143`	`+ $CONTAINER_ENGINE build --file "$image_dir/Dockerfile" --pull --tag "$image_name:$TAG" "$context"`
`144`	`144`	`echo`
`145`	`145`	`}`
`146`	`146`