Skip to content

Commit

Permalink
fixup! lint: add E71 for relative path on extra-files
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Sep 8, 2023
1 parent f367c6e commit 99f5a37
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/state/opamFileTools.ml
Original file line number Diff line number Diff line change
Expand Up @@ -819,7 +819,7 @@ let t_lint ?check_extra_files ?(check_upstream=false) ?(all=false) t =
("file" | "path" | "local" | "rsync") -> true
| _, _ -> false)
&& (Filename.is_relative u.path
|| OpamFilename.is_escapable u.path))
|| OpamFilename.might_escape u.path))
(all_urls t)
in
cond 65 `Error
Expand Down Expand Up @@ -922,7 +922,7 @@ let t_lint ?check_extra_files ?(check_upstream=false) ?(all=false) t =
| Some extra_files ->
List.filter_map (fun (base, _) ->
let path = OpamFilename.Base.to_string base in
if OpamFilename.is_escapable path then Some path else None)
if OpamFilename.might_escape path then Some path else None)
extra_files
in
cond 71 `Error
Expand Down

0 comments on commit 99f5a37

Please sign in to comment.