Update repo branch

2023-11-30 17:24:52 +05:30
parent d80f81854a
commit 59bf8e384f
2 changed files with 2 additions and 7 deletions
@@ -1,6 +1,5 @@
 #!/bin/bash

-set -e
 if [ -n "$CERC_SCRIPT_DEBUG" ]; then
  set -x
 fi
@@ -120,7 +119,7 @@ while true; do
  fi
 done

-glob_hash=$($glob_file | sed "s/glob-\([a-z0-9\.]*\).glob/\1/")
+glob_hash=$(echo "$glob_file" | sed "s/glob-\([a-z0-9\.]*\).glob/\1/")

 # Update the docket file
 cat << EOF > "${uniswap_desk_dir}/desk.docket-0"