diff --git a/.hgignore b/.hgignore index 2f1962d1a0..434d5d187f 100644 --- a/.hgignore +++ b/.hgignore @@ -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$ diff --git a/tools/flask/loadpolicy/flask-loadpolicy b/tools/flask/loadpolicy/flask-loadpolicy deleted file mode 100755 index 61a0c80b33..0000000000 Binary files a/tools/flask/loadpolicy/flask-loadpolicy and /dev/null differ