MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

WI-8073 (6x is better than 4x)

Browse Source
This commit is contained in:
Roman Shevchenko
2011-11-04 12:03:41 +01:00
parent a06fb35952
commit 70caa97bbd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bin/nix/idea.sh
+1 -1
View File
@@ -59,7 +59,7 @@ if [ -z "$JDK" ]; then
fi
fi
VERSION_LOG=`mktemp -t java.version.log.XXXX`
VERSION_LOG=`mktemp -t java.version.log.XXXXXX`
$JDK/bin/java -version 2> $VERSION_LOG
grep 'OpenJDK' $VERSION_LOG
OPEN_JDK=$?