Drop unnecessary setting of java.home
This commit is contained in:
@@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
|
||||
''
|
||||
mkdir -p $out/bin
|
||||
makeWrapper ${jdk}/bin/java $out/bin/rascal \
|
||||
--add-flags "-Djava.home=$JAVA_HOME -jar ${src}" \
|
||||
--add-flags "-jar ${src}" \
|
||||
'';
|
||||
|
||||
meta = {
|
||||
|
||||
Reference in New Issue
Block a user