diff options
| 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 |
| commit | 1e64259e1eae8a78e8cff1a2c16b51b467bb4629 (patch) | |
| tree | 154162c896b83426bbfd4fa81971d3039e309720 /zkvmLib.nix | |
| parent | c0d0c7b6ebe17b356c8010654929f4d9901c0c56 (diff) | |
| download | zkVMs-benchmarks-1e64259e1eae8a78e8cff1a2c16b51b467bb4629.tar zkVMs-benchmarks-1e64259e1eae8a78e8cff1a2c16b51b467bb4629.tar.gz zkVMs-benchmarks-1e64259e1eae8a78e8cff1a2c16b51b467bb4629.zip | |
chore(nix): annotate `awk` script as such
Diffstat (limited to 'zkvmLib.nix')
| -rw-r--r-- | zkvmLib.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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 } |