lighter Dockerfile

2023-08-14 00:20:30 +02:00
parent bb12081856
commit 656d2e937f
1 changed files with 1 additions and 1 deletions
--- a/platform.sh
+++ b/platform.sh
@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 # Used in Docker build to set platform dependent variables