diff --git a/generator/Makefile b/generator/Makefile index f0a9e7fb3b69b5961b8278ded83c0b3ba239b6ca..1f4d78385f184f68197b3bc9f2784f762078ac55 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