diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update-charon-pin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/update-charon-pin.sh b/scripts/update-charon-pin.sh index 1fa706ae..304b2d83 100755 --- a/scripts/update-charon-pin.sh +++ b/scripts/update-charon-pin.sh @@ -5,7 +5,7 @@ if ! which jq 2> /dev/null 1>&2; then fi if [ -L charon ]; then - echo '`./charon` is a symlink; we using the commit there for our new pin.' + echo '`./charon` is a symlink; we will use the commit there for our new pin.' COMMIT="$(git -C charon rev-parse HEAD)" nix flake lock --override-input charon "github:aeneasverif/charon/$COMMIT" else |