Skip to content

Commit edd6e94

Browse files
committed
Show which example is running in run_examples.sh
1 parent 78875f5 commit edd6e94

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

Diff for: run_examples.sh

+3-2
Original file line numberDiff line numberDiff line change
@@ -13,13 +13,14 @@ for file in $folder_path/*; do
1313
echo $file
1414
# Check if the file is executable
1515
if [[ -f "$file" && -x "$file" ]]; then
16+
printf "\n#### Executing '$file'\n"
1617
# Execute the file
1718
./"$file" $@
1819
# Check the exit status
1920
exit_status=$?
2021
if [[ $exit_status -ne 0 ]]; then
21-
echo "Execution of '$file' failed with exit status $exit_status."
22-
exit 1
22+
echo "Execution of '$file' failed with exit status $exit_status."
23+
exit 1
2324
fi
2425
# Delay for 10 seconds to avoid too fast reconnects
2526
echo "Sleep 10"

0 commit comments

Comments
 (0)