From d0b68f519ac9480e9a2c83b57475e3c773438696 Mon Sep 17 00:00:00 2001
From: Klaus Post <klauspost@gmail.com>
Date: Fri, 27 Oct 2023 12:49:02 +0200
Subject: [PATCH] Remove obsolete script.

---
 _generated/search.sh | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 _generated/search.sh

diff --git a/_generated/search.sh b/_generated/search.sh
deleted file mode 100755
index aa6d6477..00000000
--- a/_generated/search.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#! /bin/sh
-
-FILE=$(echo $1 | sed s/.go/_gen.go/)
-echo "searching" $FILE "for" $2
-grep -q $2 $FILE
-if [ $? -eq 0  ]
-then
-    echo "OK"
-else
-    echo "whoops!"
-    exit 1
-fi