cleanup: remove unused file

author Sebastian Pop <s.pop@samsung.com>

Thu, 24 Jan 2019 18:26:55 +0000 (12:26 -0600)

committer Hans Kristian Rosbach <hk-github@circlestorm.org>

Thu, 31 Jan 2019 13:06:22 +0000 (14:06 +0100)
author Sebastian Pop <s.pop@samsung.com>
Thu, 24 Jan 2019 18:26:55 +0000 (12:26 -0600)
committer Hans Kristian Rosbach <hk-github@circlestorm.org>
Thu, 31 Jan 2019 13:06:22 +0000 (14:06 +0100)
diff --git a/tools/list_intel_intrinsics.sh b/tools/list_intel_intrinsics.sh

deleted file mode 100755 (executable)

index dd6b4ac..0000000
--- a/tools/list_intel_intrinsics.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-fgrep _mm_ "$@" | sed -e 's/.*\(_mm_[^\(]*\)(.*/\1/g' | sort -u
author	Sebastian Pop <s.pop@samsung.com>
	Thu, 24 Jan 2019 18:26:55 +0000 (12:26 -0600)
committer	Hans Kristian Rosbach <hk-github@circlestorm.org>
	Thu, 31 Jan 2019 13:06:22 +0000 (14:06 +0100)