Fixes #846. rm target file before rename in bild script.
This commit is contained in:
parent
c2ea6aa491
commit
b7e5bfcbf8
1
bild.py
1
bild.py
|
@ -152,6 +152,7 @@ def mkjar_runtime():
|
||||||
print "Generated " + jarfile
|
print "Generated " + jarfile
|
||||||
osgijarfile = "dist/antlr4-" + VERSION + "-osgi.jar"
|
osgijarfile = "dist/antlr4-" + VERSION + "-osgi.jar"
|
||||||
make_osgi_ready(jarfile, osgijarfile)
|
make_osgi_ready(jarfile, osgijarfile)
|
||||||
|
os.remove(jarfile) # delete target for Windows compatibility
|
||||||
os.rename(osgijarfile, jarfile) # copy back onto old jar
|
os.rename(osgijarfile, jarfile) # copy back onto old jar
|
||||||
print_and_log("Made jar OSGi-ready " + jarfile)
|
print_and_log("Made jar OSGi-ready " + jarfile)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue