diff options
| author | Nadrieril | 2024-06-21 15:47:56 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-06-21 16:14:58 +0200 |
| commit | d3f52e23ede39c4fd7845b6c5feb29d28b2a2384 (patch) | |
| tree | 2891753ba71bc8ddd3cc367b787a1acddbcf1741 /scripts | |
| parent | c8ad44f287215c3c45e5a0f0540ef507b4916c7d (diff) | |
Update charon
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 |