1 files changed, 2 insertions, 0 deletions
diff --git a/.bk-to-hg b/.bk-to-hg
index 1d83a2cea7..ee55de0843 100755
--- a/.bk-to-hg
+++ b/.bk-to-hg
@@ -2,5 +2,7 @@
 set -e
 test -L tools/domain_builder/dom0_ops.h
 rm      tools/domain_builder/dom0_ops.h
+test -L tools/internal/dom0_ops.h
+rm      tools/internal/dom0_ops.h
 (find -depth -type d -print | xargs -r rmdir 2>/dev/null) || true
 exit 0