comp: add --no-check-all
authorJean Privat <jean@pryen.org>
Wed, 13 Aug 2014 14:12:59 +0000 (10:12 -0400)
committerJean Privat <jean@pryen.org>
Wed, 13 Aug 2014 14:12:59 +0000 (10:12 -0400)
commitdb408c0a8bb3344919f82aa90fb4a0b11f41974b
tree334e9f1747dfeaae0ea5f8cd329ecafb517267fb
parenta06a2d696422088fcfed8f5e26f523e5538d266c
comp: add --no-check-all

Signed-off-by: Jean Privat <jean@pryen.org>
src/abstract_compiler.nit
src/separate_erasure_compiler.nit