From d38b5b78b4dbebbb18d21890438ad7242f1abca0 Mon Sep 17 00:00:00 2001
From: Luigi Scarso <luigi.scarso@gmail.com>
Date: Wed, 7 Mar 2018 17:53:22 +0000
Subject: [PATCH] (trunk) removed not portable -v switch
---
build.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.sh b/build.sh
index a4bf1b57d..dbfe563b8 100755
--- a/build.sh
+++ b/build.sh
@@ -381,7 +381,7 @@ then
fi
if [ "$BUILDLUA52" = "FALSE" ] && [ "$BUILDLUA53" = "TRUE" ]
then
- mv -v "$B"/texk/web2c/$LUATEXEXE53 "$B"/texk/web2c/$LUATEXEXE
+ mv "$B"/texk/web2c/$LUATEXEXE53 "$B"/texk/web2c/$LUATEXEXE
ls -l "$B"/texk/web2c/$LUATEXEXE
fi
--
GitLab