- changed shebang to env/sh

3d44f15b · Marius Burkard · d550ddd8 · 3d44f15b
Commit 3d44f15b authored Aug 09, 2019 by Marius Burkard
--- a/ispc3-ai.sh
+++ b/ispc3-ai.sh
-#!/bin/bash
+#!/usr/bin/env sh

 CURDIR=$(pwd) ;