mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-09-12 09:07:46 -04:00
Fix script
This commit is contained in:
parent
7c141b4cb4
commit
e4c8e20c21
1 changed files with 5 additions and 5 deletions
10
.github/workflows/url_verifier.sh
vendored
10
.github/workflows/url_verifier.sh
vendored
|
@ -5,7 +5,7 @@ echo "Verifying url links of: ${PROJECT}"
|
||||||
if [ ! -d "$PROJECT" ]
|
if [ ! -d "$PROJECT" ]
|
||||||
then
|
then
|
||||||
echo "Directory passed does not exist"
|
echo "Directory passed does not exist"
|
||||||
exit(1)
|
exit(2)
|
||||||
fi
|
fi
|
||||||
|
|
||||||
SCRIPT_RET=0
|
SCRIPT_RET=0
|
||||||
|
@ -40,18 +40,18 @@ function test {
|
||||||
SCRIPT_RET=1
|
SCRIPT_RET=1
|
||||||
elif [ "${CURL_RES}" == '403' ]
|
elif [ "${CURL_RES}" == '403' ]
|
||||||
then
|
then
|
||||||
|
SCRIPT_RET=1
|
||||||
fi
|
fi
|
||||||
echo Result is: "${CURL_RES}"
|
echo Result is: "${CURL_RES}"
|
||||||
echo "================================="
|
echo "================================="
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
|
||||||
if [ ${RES} -ne 0 ]
|
if [ "${SCRIPT_RET}" -eq 0 ]
|
||||||
then
|
then
|
||||||
exit(1)
|
|
||||||
else
|
|
||||||
exit(0)
|
exit(0)
|
||||||
|
else
|
||||||
|
exit(1)
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue