From ca830706ac249b2437012c79b4d19b28c63393bc Mon Sep 17 00:00:00 2001
From: Ain <41307858+nero@users.noreply.github.com>
Date: Mon, 29 Jan 2018 19:43:06 +0000
Subject: [PATCH] Fix finddeps: deduplicate outputs

This was causing weird heisenbugs.
---
 finddeps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/finddeps.sh b/finddeps.sh
index 7b3f986..0b3e0a8 100755
--- a/finddeps.sh
+++ b/finddeps.sh
@@ -8,4 +8,4 @@ search() {
   for i in $deps; do search $i; done
 }
 
-search "$1"|grep -v "$1"|sed 's|\.c$|.o|'
+search "$1"|sort -u|grep -v "$1"|sed 's|\.c$|.o|'