From 7ec717e08819c33a78776012585c83ddb5b6cbb5 Mon Sep 17 00:00:00 2001
From: Ilya Zverev <zverik@textual.ru>
Date: Thu, 1 Oct 2015 15:01:50 +0300
Subject: [PATCH] [tools] Rewrite clean_indexes

---
 tools/unix/clean_indexes.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 tools/unix/clean_indexes.sh

diff --git a/tools/unix/clean_indexes.sh b/tools/unix/clean_indexes.sh
new file mode 100755
index 0000000000..1752e4bbe3
--- /dev/null
+++ b/tools/unix/clean_indexes.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+# Removes indices after an app run. You can pass a path as the first argument.
+set -u -x
+TARGET="${1:-$(dirname "$0")/../../data}"
+for mwm in "$TARGET/"*.mwm; do
+  rm -rf "$TARGET/$(basename "$mwm" .mwm)"
+done