From 9a1596e79917505a3092921ac6c12923afb8c085 Mon Sep 17 00:00:00 2001
From: Kunal Mehta <legoktm@debian.org>
Date: Mon, 30 Sep 2024 14:53:35 -0400
Subject: [PATCH] Remove unused devops/scripts/aws-jenkins-venv.sh

This appears to be unused and we no longer use AWS nor Jenkins in
this project's CI.
---
 devops/scripts/aws-jenkins-venv.sh | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 devops/scripts/aws-jenkins-venv.sh

diff --git a/devops/scripts/aws-jenkins-venv.sh b/devops/scripts/aws-jenkins-venv.sh
deleted file mode 100644
index 94ad8098bc..0000000000
--- a/devops/scripts/aws-jenkins-venv.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-# shellcheck disable=SC1090
-
-export CIRCLE_BUILD_NUM=jenk-$BUILD_NUMBER
-virtualenv=/tmp/venv-${CIRCLE_BUILD_NUM}
-virtualenv "$virtualenv"
-. "$virtualenv/bin/activate"