From 1e64259e1eae8a78e8cff1a2c16b51b467bb4629 Mon Sep 17 00:00:00 2001
From: reo101 <pavel.atanasov2001@gmail.com>
Date: Tue, 13 May 2025 08:05:46 +0000
Subject: chore(nix): annotate `awk` script as such

---
 zkvmLib.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
           }
-- 
cgit v1.2.3