diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 1538d71..52776e0 100644 --- a/Makefile.in +++ b/Makefile.in @@ -38,6 +38,7 @@ clean: (cd $$d; rm -f *.cmi *.cmo *.cmx *.cma *.cmxa *.o *.a *.so *.opt *~ *.dll *.exe core); \ done rm -f examples/list_domains + rm -f examples/node_info rm -f mlvirsh/mlvirsh rm -f virt-ctrl/virt-ctrl rm -f virt-top/virt-top |