blob: 348556f7d8198f916d0deeb4616815c7434442da (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/bash -e
taskdir=${TOOLCHAIN_BUILD}/etc/${PIPELINE}/tasks
if [[ ! -d ${taskdir} ]]; then
echo "No tasks. ${taskdir} does not exist."
exit 1
fi
for task in ${taskdir}/*
do
# Check for execution permission
if [[ ! -x ${task} ]]; then
echo "Skipping: ${task}"
continue
fi
echo "Executing: ${task}"
${task}
done
|
