From a423dd6ea309e2b235ee389c87211c313cfb665b Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Thu, 24 Jan 2019 12:26:55 -0600 Subject: [PATCH] cleanup: remove unused file --- tools/list_intel_intrinsics.sh | 3 --- 1 file changed, 3 deletions(-) delete mode 100755 tools/list_intel_intrinsics.sh diff --git a/tools/list_intel_intrinsics.sh b/tools/list_intel_intrinsics.sh deleted file mode 100755 index dd6b4acc..00000000 --- a/tools/list_intel_intrinsics.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -fgrep _mm_ "$@" | sed -e 's/.*\(_mm_[^\(]*\)(.*/\1/g' | sort -u -- 2.47.2