Skip to content

Commit

Permalink
Merge pull request #9062 from gridbugs/quotes-in-error-message
Browse files Browse the repository at this point in the history 
pkg: add quotes to command in error message
  • Loading branch information
@Leonidas-from-XIV
Leonidas-from-XIV authored Nov 1, 2023
2 parents 2bf59e1 + 70c8fee commit 72bb20c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/dune_pkg/lock_dir.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -564,7 +564,7 @@ struct
match Path.exists (Path.source lock_dir_path) with
| false ->
User_error.raise
~hints:[ Pp.text "Run dune pkg lock to generate it." ]
~hints:[ Pp.text "Run `dune pkg lock` to generate it." ]
[ Pp.textf "%s does not exist." (Path.Source.to_string lock_dir_path) ]
| true ->
(match Path.is_directory (Path.source lock_dir_path) with
Expand Down

1 comment on commit 72bb20c

@github-actions
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Melange Benchmark'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.50.

Benchmark suite Current: 72bb20c Previous: a8d7a26 Ratio
pupilfirst build time (Linux) 38.619459093653326 seconds 23.275204378446663 seconds 1.66

This comment was automatically generated by workflow using github-action-benchmark.

CC: @jchavarri

Please sign in to comment.