minor fixes on src gen scripts
This commit is contained in:
parent
6058ede3ae
commit
9737170b6f
|
@ -4,6 +4,8 @@
|
||||||
|
|
||||||
import os, re, sys
|
import os, re, sys
|
||||||
|
|
||||||
|
os.chdir (os.path.dirname (__file__))
|
||||||
|
|
||||||
if len (sys.argv) < 3:
|
if len (sys.argv) < 3:
|
||||||
sys.exit (__doc__)
|
sys.exit (__doc__)
|
||||||
|
|
||||||
|
|
|
@ -4,6 +4,8 @@
|
||||||
|
|
||||||
import os, re, sys
|
import os, re, sys
|
||||||
|
|
||||||
|
os.chdir (os.path.dirname (__file__))
|
||||||
|
|
||||||
if len (sys.argv) < 4:
|
if len (sys.argv) < 4:
|
||||||
sys.exit(__doc__)
|
sys.exit(__doc__)
|
||||||
|
|
||||||
|
@ -26,4 +28,4 @@ with open (input, "r", encoding='utf-8') as input_file:
|
||||||
# write only if is changed
|
# write only if is changed
|
||||||
if generated != current:
|
if generated != current:
|
||||||
with open (output, "wb") as output_file:
|
with open (output, "wb") as output_file:
|
||||||
output_file.write ()
|
output_file.write (generated)
|
||||||
|
|
Loading…
Reference in New Issue