From f714e05eb93bc73d7cb2cc1fa3fd785f2fb7c183 Mon Sep 17 00:00:00 2001
From: Mauro Torrez <mtorrez@rectorado.unl.edu.ar>
Date: Wed, 18 Sep 2019 13:05:12 -0300
Subject: [PATCH] fix

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

diff --git a/script.sh b/script.sh
index cc685cd..94cc7f4 100644
--- a/script.sh
+++ b/script.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 echo environment:
 env
 make ${PLUGIN_OPTIONS} ${PLUGIN_TARGETS/,/ }