From c50ac6091e10efb02132210af75c53363a724b82 Mon Sep 17 00:00:00 2001
From: Javier <tuya@uniovi.es>
Date: Sat, 15 Jul 2023 11:58:53 +0200
Subject: [PATCH] cmd for linux

---
 it/build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/it/build.xml b/it/build.xml
index 83eeaff..9a333b7 100644
--- a/it/build.xml
+++ b/it/build.xml
@@ -104,6 +104,7 @@
 		<sequential>
 			<exec executable="${shell}" dir="@{folder}" failonerror="true" >
 				<arg value="/c" if:set="isWindows"/>
+				<arg value="-c" unless:set="isWindows"/>
 				<arg value="${maven}" />
 				<arg value="-DskipITs=true" />
 				<arg value="-Dmaven.javadoc.skip=true" />