diff --git a/Makefile b/Makefile index 17e40bbf4..08761efed 100644 --- a/Makefile +++ b/Makefile @@ -413,6 +413,7 @@ lint: shellcheck scripts/*.sh shellcheck scripts/ci/*.sh scripts/ci/apt-install shellcheck test/others/crit/*.sh + shellcheck test/others/libcriu/*.sh shellcheck test/others/config-file/*.sh # Do not append \n to pr_perror or fail ! git --no-pager grep -E '^\s*\<(pr_perror|fail)\>.*\\n"' diff --git a/test/others/libcriu/run.sh b/test/others/libcriu/run.sh index f7d2f5c6f..48f25a5f6 100755 --- a/test/others/libcriu/run.sh +++ b/test/others/libcriu/run.sh @@ -9,6 +9,7 @@ TEST_LOG="${TEST_DIR}/test.log" DUMP_LOG="${TEST_DIR}/dump.log" RESTORE_LOG="${TEST_DIR}/restore.log" +# shellcheck disable=1091 source "${MAIN_DIR}/../env.sh" || exit 1 echo "== Clean"