From 29e592f91ccc52e6a06a35500246de517f312be6 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@kth.se>
Date: Fri, 9 Feb 2024 00:32:53 +0100
Subject: Nothing major, except DEVCHECK doesn't take forever anymore (it's
 indistiguousable for instant)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <maandree@kth.se>
---
 check/find-duplicates | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 check/find-duplicates

(limited to 'check/find-duplicates')

diff --git a/check/find-duplicates b/check/find-duplicates
new file mode 100755
index 0000000..2517fb6
--- /dev/null
+++ b/check/find-duplicates
@@ -0,0 +1,9 @@
+#!/bin/sh
+set -e
+
+dups="$(sed 's/\\$//' < icons.mk | sed '/^\s*\(#.*\|\)$/d' | sed 1d | tr -d '\t ' | sort | uniq -d)"
+
+if test -n "$dups"; then
+	printf 'The following files have been listed in icons.mk multiple times:\n%s\n' "$dups" >&2
+	exit 1
+fi
-- 
cgit v1.2.3-70-g09d2