Open Vampire opened 6 years ago
As the CLASSPATH is empty now, line 117 which is
CLASSPATH
CLASSPATH=`cygpath --path --mixed "$CLASSPATH"`
fails with cygpath: can't convert empty path
cygpath: can't convert empty path
As the
CLASSPATH
is empty now, line 117 which isfails with
cygpath: can't convert empty path