From fb18cadaa765feb3f7d8b7ac7909dc89b4856ca5 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Fri, 10 Apr 2020 15:14:34 -0700 Subject: fix a crash when translating apps/ex1 --- translate_subx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'translate_subx') diff --git a/translate_subx b/translate_subx index ba36986a..22bcf32a 100755 --- a/translate_subx +++ b/translate_subx @@ -15,7 +15,7 @@ # sets of debug files.) # Again, that's for subsequent scripts. -set -e +set -ev ./build -- cgit 1.4.1-2-gfad0