From 1d8a9ab556ea79964720b3eba22faafe669e3303 Mon Sep 17 00:00:00 2001
From: Pierre Kancir <pierre.kancir.emn@gmail.com>
Date: Thu, 6 Feb 2020 20:26:27 +0100
Subject: [PATCH] Tools: make dumpstack and run-coverage .sh script

---
 Tools/scripts/{dumpstack => dumpstack.sh}       | 0
 Tools/scripts/{run-coverage => run-coverage.sh} | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename Tools/scripts/{dumpstack => dumpstack.sh} (100%)
 rename Tools/scripts/{run-coverage => run-coverage.sh} (100%)

diff --git a/Tools/scripts/dumpstack b/Tools/scripts/dumpstack.sh
similarity index 100%
rename from Tools/scripts/dumpstack
rename to Tools/scripts/dumpstack.sh
diff --git a/Tools/scripts/run-coverage b/Tools/scripts/run-coverage.sh
similarity index 100%
rename from Tools/scripts/run-coverage
rename to Tools/scripts/run-coverage.sh