diff --git a/libresapi/src/webui-src/make-src/build.sh b/libresapi/src/webui-src/make-src/build.sh index 9bd6dda4a..f96674cae 100755 --- a/libresapi/src/webui-src/make-src/build.sh +++ b/libresapi/src/webui-src/make-src/build.sh @@ -1,8 +1,8 @@ -#!/usr/bin/sh +#!/usr/bin/env sh # create webfiles from sources at compile time (works without npm/node.js) -if [ "$1" == "" ];then +if [ "$1" = "" ];then publicdest=../../webui src=.. else