Searched refs:output_tmp (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/l4v/tools/haskell-translator/
H A Dpars_skl.py40 output_tmp = os.path.join(os.path.dirname(output), 'pars_skel.tmp') variable
42 output_f = open(output_tmp, 'w')
100 # at this point, output_tmp should exist, but output might not exist
101 if not os.path.exists(output_tmp):
102 print('Error: {} did not generate correctly'.format(output_tmp))
107 lines1 = [line for line in open(output_tmp)]
111 print("IOError comparing {} and {}:\n{}".format(output_tmp, output, e))
125 os.rename(output_tmp, output)
127 print("IOError moving {} -> {}:\n{}".format(output_tmp, output, e))
130 os.unlink(output_tmp)
[all...]

Completed in 30 milliseconds