Fix for sh as shell not bash #907

Merged
dboreham merged 1 commits from dboreham/fix-script-for-ubuntu into main 2024-07-31 20:39:38 +00:00

View File

@ -1,5 +1,5 @@
#!/bin/sh #!/bin/sh
if [[ -n "$CERC_SCRIPT_DEBUG" ]]; then if [ -n "$CERC_SCRIPT_DEBUG" ]; then
set -x set -x
fi fi