From 5e2e2e1e5307b81d43bc9f98e2ce5155e548196b Mon Sep 17 00:00:00 2001 From: Cyryl Plotnicki-Chudyk Date: Tue, 2 Sep 2014 10:22:14 +0200 Subject: [PATCH] added missing cygwinify script --- tools/cygwinify.sh | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100755 tools/cygwinify.sh diff --git a/tools/cygwinify.sh b/tools/cygwinify.sh new file mode 100755 index 00000000..2f84a339 --- /dev/null +++ b/tools/cygwinify.sh @@ -0,0 +1,19 @@ +#!/usr/bin/bash +RESULT="" +for arg +do +if [[ "" != "$arg" ]] && [[ -e $arg ]]; +then +OUT=`cygpath -wa $arg` +else +if [[ $arg == -* ]]; +then +OUT=$arg +else +OUT="'$arg'" +fi +fi +RESULT=$RESULT$OUT" " +done +echo "$RESULT" +