Skip to content

Commit

Permalink
Merge branch 'release-1.16.1'
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions committed Jun 10, 2024
2 parents ba494ad + 0a52092 commit e165c05
Show file tree
Hide file tree
Showing 7 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion scripts/tools/CacheWarmup.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh

if [ "$1" = "-h" ] || [ "$1" = "--help" ]
then
Expand Down
2 changes: 1 addition & 1 deletion scripts/tools/GarbageCollector.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh

if [ "$1" = "-h" ] || [ "$1" = "--help" ]
then
Expand Down
2 changes: 1 addition & 1 deletion scripts/tools/IndexClassMetadata.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh

if [ "$1" = "-h" ] || [ "$1" = "--help" ]
then
Expand Down
2 changes: 1 addition & 1 deletion scripts/tools/IndexClassResources.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
set -e

if [ "$1" = "-h" ] || [ "$1" = "--help" ]
Expand Down
2 changes: 1 addition & 1 deletion scripts/tools/IndexDeliveryResults.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh

if [ "$1" = "-h" ] || [ "$1" = "--help" ]
then
Expand Down
2 changes: 1 addition & 1 deletion scripts/tools/IndexPopulator.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh

if [ "$1" = "-h" ] || [ "$1" = "--help" ]
then
Expand Down
2 changes: 1 addition & 1 deletion scripts/tools/IndexResources.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh

if [ "$1" = "-h" ] || [ "$1" = "--help" ]
then
Expand Down

0 comments on commit e165c05

Please sign in to comment.