From 9512c5fd0d63f74217f73976f2efd1de5cab96d1 Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Sat, 20 Jan 2018 19:40:32 +0100
Subject: [PATCH] metrics script renamed to metrics_csv, like in the official
 fermat3 releases

---
 build.xml                                | 2 +-
 src-wsl/{metrics.wsl => metrics_csv.wsl} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename src-wsl/{metrics.wsl => metrics_csv.wsl} (100%)

diff --git a/build.xml b/build.xml
index 89e8a44..ee686f5 100644
--- a/build.xml
+++ b/build.xml
@@ -55,7 +55,7 @@
     <!-- args can be used to send additional arguments to a script -->
     <property name="transf.wsl.args" value="" />
 
-    <property name="metrics.wsl.file" value="src-wsl/metrics.wsl" />
+    <property name="metrics.wsl.file" value="src-wsl/metrics_csv.wsl" />
     <property name="metrics.extension" value=".met" />
 
     <property name="tests.dir" value="tests" />
diff --git a/src-wsl/metrics.wsl b/src-wsl/metrics_csv.wsl
similarity index 100%
rename from src-wsl/metrics.wsl
rename to src-wsl/metrics_csv.wsl
-- 
2.25.1