From 656d2e937ff0a0ec5ec4812fd6df8faf51bc07de Mon Sep 17 00:00:00 2001
From: uzurka <me@uzurka.fr>
Date: Mon, 14 Aug 2023 00:20:30 +0200
Subject: [PATCH] lighter Dockerfile

---
 platform.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform.sh b/platform.sh
index 635e41f..d2dfefa 100644
--- a/platform.sh
+++ b/platform.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 # Used in Docker build to set platform dependent variables