Makefile: add shellcheck test/others/libcriu/*.sh

Signed-off-by: Radostin Stoyanov <[email protected]>
checkpoint-restore · Oct 5, 2021 · 8cf99be · 8cf99be
1 parent 59c4b75
commit 8cf99be
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -431,6 +431,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
@@ -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"