comparison src/luan/impl/Compiled.java @ 1580:2975c932864d

require options
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 10 Feb 2021 23:56:59 -0700
parents 8fbcc4747091
children
comparison
equal deleted inserted replaced
1579:dd881eb03d87 1580:2975c932864d
131 throw new RuntimeException(e); 131 throw new RuntimeException(e);
132 } 132 }
133 } 133 }
134 134
135 135
136 private static final int VERSION = 6; 136 private static final int VERSION = 7;
137 private static final File tmpDir; 137 private static final File tmpDir;
138 static { 138 static {
139 File f = new File(System.getProperty("java.io.tmpdir")); 139 File f = new File(System.getProperty("java.io.tmpdir"));
140 tmpDir = new File(f,"luan"); 140 tmpDir = new File(f,"luan");
141 tmpDir.mkdir(); 141 tmpDir.mkdir();