From c88ae0814f322f82e8daf53b19086326bbca0327 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 25 Nov 2009 08:38:12 -0500 Subject: Exit code of 1 on compilation failure --- tests/bad.ur | 1 + 1 file changed, 1 insertion(+) create mode 100644 tests/bad.ur (limited to 'tests/bad.ur') diff --git a/tests/bad.ur b/tests/bad.ur new file mode 100644 index 00000000..60419db7 --- /dev/null +++ b/tests/bad.ur @@ -0,0 +1 @@ +fun main $ = 0 -- cgit v1.2.3