Fix a potential error about script file

It would cause "Permission denied" error because of the lack of execute
permission on the script file.

Change-Id: If7462fa277d114dbf0ebd7e4c0cd2256b4f29c87
This commit is contained in:
Guoqiang Ding 2018-02-05 14:14:08 +08:00
parent aee1b062ba
commit 3170f38e91
1 changed files with 1 additions and 1 deletions

View File

@ -22,7 +22,7 @@ rm -rf ${LOGS_DIR} || true
mkdir -p ${LOGS_DIR}
function dump_logs () {
${WORK_DIR}/tools/gate/dump_logs.sh
bash ${WORK_DIR}/tools/gate/dump_logs.sh
}
trap 'dump_logs "$?"' ERR