REPL: fix repl using older binary on piping

repl: delete binary files when exiting
pull/1552/head
Henrixounez 2019-08-09 19:15:11 +02:00 committed by Alexander Medvednikov
parent 81cdda842c
commit 146a9507c6
1 changed files with 2 additions and 0 deletions

View File

@ -1301,6 +1301,8 @@ fn run_repl() []string {
defer { defer {
os.rm(file) os.rm(file)
os.rm(temp_file) os.rm(temp_file)
os.rm(file.left(file.len - 2))
os.rm(temp_file.left(temp_file.len - 2))
} }
mut lines := []string mut lines := []string
vexe := os.args[0] vexe := os.args[0]