mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-09-12 09:07:46 -04:00
uncomment lines and fix exit
This commit is contained in:
parent
dbec23379a
commit
a2f5ff6c18
1 changed files with 10 additions and 10 deletions
20
.github/workflows/url_verifier.sh
vendored
20
.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(2)
|
exit 2
|
||||||
fi
|
fi
|
||||||
|
|
||||||
SCRIPT_RET=0
|
SCRIPT_RET=0
|
||||||
|
@ -38,21 +38,21 @@ function test {
|
||||||
then
|
then
|
||||||
CURL_RES=$RES
|
CURL_RES=$RES
|
||||||
SCRIPT_RET=1
|
SCRIPT_RET=1
|
||||||
# elif [ "${CURL_RES}" == '403' ]
|
elif [ "${CURL_RES}" == '403' ]
|
||||||
# then
|
then
|
||||||
# SCRIPT_RET=1
|
SCRIPT_RET=1
|
||||||
fi
|
fi
|
||||||
echo Result is: "${CURL_RES}"
|
echo Result is: "${CURL_RES}"
|
||||||
echo "================================="
|
echo "================================="
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
|
||||||
# if [ "${SCRIPT_RET}" -eq 0 ]
|
if [ "${SCRIPT_RET}" -eq 0 ]
|
||||||
# then
|
then
|
||||||
# exit(0)
|
exit 0
|
||||||
# else
|
else
|
||||||
# exit(1)
|
exit 1
|
||||||
# fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
test
|
test
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue