From baeb2021f7c08623e59b41bf9d766a80202ecd8a Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Tue, 8 Mar 2016 01:44:37 +0000
Subject: [PATCH] Missed junkfiles in `make clean`

---
 generator/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generator/Makefile b/generator/Makefile
index f0a9e7f..1f4d783 100644
--- a/generator/Makefile
+++ b/generator/Makefile
@@ -179,7 +179,7 @@ stdlib: $(STDLIB_DIR)/stdlib.cmi
 #####################################################################
 # Clean
 
-DIRTY_EXTS := cmi,token.js,log.js,unlog.js,d,ml.d,mli.d
+DIRTY_EXTS := cmi,token.js,log.js,unlog.js,d,ml.d,mli.d,js.pre
 
 clean_genjs:
 	rm -f $(JSREF_PATH)/lineof.js
-- 
GitLab