chiark / gitweb /
Don't set $SDK, it's too ambiguous with e.g. the Java SDK