From 90fb998768ad15a7836193d155d83600c70d8deb Mon Sep 17 00:00:00 2001
From: Jacob Seman <90524106+Jbsco@users.noreply.github.com>
Date: Tue, 28 Nov 2023 12:42:21 -0700
Subject: [PATCH] Update docker_config.sh

Removed the ON_WINDOWS case statement in docker_config.sh
---
 docker/docker_config.sh | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/docker/docker_config.sh b/docker/docker_config.sh
index f7e00c7..ed171dc 100755
--- a/docker/docker_config.sh
+++ b/docker/docker_config.sh
@@ -5,13 +5,6 @@ DOCKER_IMAGE_NAME="ghcr.io/lasp/adamant:example-latest"
 export DOCKER_CONTAINER_NAME
 export DOCKER_IMAGE_NAME
 
-case "$OSTYPE" in
-  cygwin|msys|win32)
-    ON_WINDOWS="yes"
-    export ON_WINDOWS
-    ;;
-esac
-
 # Helper function to print out command as executed:
 execute () {
   echo "$ $@"