diff options
author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2007-09-06 11:23:43 +0100 |
---|---|---|
committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2007-09-06 11:23:43 +0100 |
commit | 0671a3ce432c44a7f52cb3cfdef71f146970c3d0 (patch) | |
tree | 24244c0494b0496d30368c58931b84311306a50a /.hgignore | |
parent | 2c312d03cddaa6590a557b65bf4c12326cd46dde (diff) | |
download | xen-0671a3ce432c44a7f52cb3cfdef71f146970c3d0.tar.gz xen-0671a3ce432c44a7f52cb3cfdef71f146970c3d0.tar.bz2 xen-0671a3ce432c44a7f52cb3cfdef71f146970c3d0.zip |
Delete flask tools build target and add to .hgignore.
Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to '.hgignore')
-rw-r--r-- | .hgignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -114,6 +114,7 @@ ^tools/firmware/vmxassist/gen$ ^tools/firmware/vmxassist/offsets\.h$ ^tools/firmware/vmxassist/vmxassist$ +^tools/flask/loadpolicy/flask-loadpolicy$ ^tools/ioemu/\.pc/.*$ ^tools/ioemu/config-host\.h$ ^tools/ioemu/config-host\.mak$ |