diff options
author | Guillaume Boisseau | 2024-05-15 17:26:47 +0200 |
---|---|---|
committer | GitHub | 2024-05-15 17:26:47 +0200 |
commit | a0ddfc48f385ea73fb6b890b7683c9537957f4f6 (patch) | |
tree | 9a6d77aaf73a232d7c1489f1b08c12a2ec1a0977 | |
parent | cbf425d178f9063507585233ebee7ca785567e3a (diff) | |
parent | cf5dfbd549d2844ae7d491d7bfa85ba5d8f4395a (diff) |
Merge pull request #186 from AeneasVerif/fix-make
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -91,7 +91,7 @@ update-charon-pin: # Checks that `./charon` contains a clone of charon at the required commit. # Also checks that `./charon/bin/charon` exists. .PHONY: check-charon -check-charon: charon-pin +check-charon: @echo "Checking the charon installation" @./scripts/check-charon-install.sh |