Website Summary Files Commits Branches @commit @diff @stats
diff options
context:
space:
mode:
Commit1e64259e1eae8a78e8cff1a2c16b51b467bb4629 (patch)
Author
 reo101 <pavel.atanasov2001@gmail.com>
2025-05-13 08:05:46 +0000
Committer
 Aristotelis <52610192+Aristotelis2002@users.noreply.github.com>
2025-05-27 16:27:32 +0300
Files154162c896b83426bbfd4fa81971d3039e309720
zkVMs-benchmarks-1e64259e1eae8a78e8cff1a2c16b51b467bb4629.tar
zkVMs-benchmarks-1e64259e1eae8a78e8cff1a2c16b51b467bb4629.tar.gz
zkVMs-benchmarks-1e64259e1eae8a78e8cff1a2c16b51b467bb4629.zip
Parentc0d0c7b6ebe17b356c8010654929f4d9901c0c56 (diff)
chore(nix): annotate `awk` script as such
1 files changed, 1 insertions, 1 deletions
-rw-r--r--zkvmLib.nix2
diff --git a/zkvmLib.nix b/zkvmLib.nix
index 539b54e..3e0b616 100644
--- a/zkvmLib.nix
+++ b/zkvmLib.nix
@@ -13,7 +13,7 @@ let
# are inevitable and cargo crashes when it encounters them.
# We'll manually remove all duplicates and cargo will be happy.
# This is a disgusting hack, but it's the best I've come up with.
- removeDuplicates = ''
+ removeDuplicates = /* awk */ ''
BEGIN {
unique = 1
}