From 4f439d36827d321acba5a3293449ec26f8a2ca1c Mon Sep 17 00:00:00 2001 From: Scott Fennell Date: Wed, 4 Dec 2019 15:39:12 -0600 Subject: [PATCH] clean S_sie.json closes #96 --- bin/trick-CP | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/trick-CP b/bin/trick-CP index efdd81d7..f385bb74 100755 --- a/bin/trick-CP +++ b/bin/trick-CP @@ -273,7 +273,7 @@ all: endif tidy: - -rm -f S_source.hh S_sie.resource + -rm -f S_source.hh S_sie.resource S_sie.json -rm -f S_main* T_main* -rm -f build/Makefile_*