direct-io.hg
changeset 7055:5ea81e640509
Fix so that 'make uninstall' won't fail if /etc/xen
doesn't exist.
doesn't exist.
author | kaf24@firebug.cl.cam.ac.uk |
---|---|
date | Sun Sep 25 11:47:22 2005 +0100 (2005-09-25) |
parents | 909172f2aa54 |
children | 811559fb02ab |
files | Makefile |
line diff
1.1 --- a/Makefile Sat Sep 24 23:10:31 2005 +0100 1.2 +++ b/Makefile Sun Sep 25 11:47:22 2005 +0100 1.3 @@ -164,7 +164,7 @@ help: 1.4 uninstall: DESTDIR= 1.5 uninstall: D=$(DESTDIR) 1.6 uninstall: 1.7 - [ -d $(D)/etc/xen ] && mv -f $(D)/etc/xen $(D)/etc/xen.old-`date +%s` 1.8 + [ -d $(D)/etc/xen ] && mv -f $(D)/etc/xen $(D)/etc/xen.old-`date +%s` || true 1.9 rm -rf $(D)/etc/init.d/xend* 1.10 rm -rf $(D)/etc/hotplug/xen-backend.agent 1.11 rm -rf $(D)/var/run/xen* $(D)/var/lib/xen*