external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Change anchor tag to what github generates

pull/4009/head
Jelte Fennema 2020-07-09 16:11:27 +02:00
parent cc5f874c9d
commit df395cdbd0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/ci_helpers.sh
View File

@ -22,7 +22,7 @@ hint_on_fail() {
exit_code=$? exit_code=$?
# Get filename of the currently running script # Get filename of the currently running script
# Source: https://stackoverflow.com/a/192337/2570866 # Source: https://stackoverflow.com/a/192337/2570866
filename=$(basename "$0") filename=$(basename "$0" | sed 's/\.sh$/sh/g')
directory=$(dirname "$0") directory=$(dirname "$0")
if [ $exit_code != 0 ]; then if [ $exit_code != 0 ]; then
echo "HINT: To solve this failure look here: https://github.com/citusdata/citus/blob/master/$directory/README.md#$filename" echo "HINT: To solve this failure look here: https://github.com/citusdata/citus/blob/master/$directory/README.md#$filename"