Delete crucial generated file only in realclean target of standalone build.

diff --git a/gen/rpc/OMakefile b/gen/rpc/OMakefile
index 77893a0fcc70240eeca10bc7d97dd076e8e1c1cf..65ea9e933cac84a882b6cb8d99668e42049e62cb 100644 (file)
--- a/gen/rpc/OMakefile
+++ b/gen/rpc/OMakefile
@@ -20,6 +20,9 @@ GEN_RPC = $(OCamlProgram $(GEN_RPC_PROG), $(GEN_RPC_FILES))
 
 .PHONY: clean
 clean:
-       $(CLEAN) $(GEN_RPC) syntax_json_conv.ml
+       $(CLEAN) $(GEN_RPC)
+
+realclean: clean
+       $(CLEAN) syntax_json_conv.ml
 
 .SUBDIRS: tests