Skip to content

Instantly share code, notes, and snippets.

View dakrone's full-sized avatar

Lee Hinman dakrone

View GitHub Profile
@jasontedor
jasontedor / clone-jdk10.sh
Last active August 24, 2019 14:51
Cloning the OpenJDK sources
#!/bin/bash
hg clone http://hg.openjdk.java.net/jdk10/jdk10 && cd jdk10 && chmod +x get_source.sh && ./get_source.sh
#!/bin/sh
# change paths according to your repl setup
USER_HOME="/Users/antonio.garrote"
CLJR_HOME="/Users/antonio.garrote/.cljr"
CLASSPATH=src:test:.
if [ ! -n "$JVM_OPTS" ]; then
JVM_OPTS="-Xmx1G"
fi