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" +