From: Jean Privat Date: Sat, 30 May 2015 00:37:30 +0000 (-0400) Subject: Merge: Clean nit compilation directory X-Git-Tag: v0.7.5~3 X-Git-Url: http://nitlanguage.org Merge: Clean nit compilation directory This PR cause the compilation directory to be removed after compilation. This auto-removal is disabled if `--compile-dir` or `--no-cc` is used because it is a sane default I think. Moreover, the compilation directory is renamed by defaut to `nit_compile` because there is no more point to make it hidden since its presence means an active request (`--no-cc`). The PR is a bit premature since the boostrap will fail since `rmdir` requires the light FFI, so it is planned to be merged after the regen of c_src. Close #792 Pull-Request: #1415 Reviewed-by: Alexandre Terrasa Reviewed-by: Alexis Laferrière Reviewed-by: Romain Chanoir Reviewed-by: Lucas Bajolet --- 52505890ed629b102a85b91d908d5decab9d09f7