Fix lint error

kernc · Oct 25, 2023 · 504d08d · 504d08d
1 parent 65ac155
commit 504d08d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/diff-logs b/diff-logs
@@ -14,6 +14,7 @@ if [ $# -eq 0 ]; then
  $pyscript <&0;
 elif [ $# -eq 2 ]; then
  case $difftool in diff) args='--color=auto' ;; *) args= ;; esac
+ # shellcheck disable=SC2086
  $difftool $args <($pyscript < "$1") <($pyscript < "$2");
 else
  echo "Usage: $0 < FILE1.log # Print log file diff-frienly"