1 files changed, 1 insertions, 7 deletions
diff --git a/.bk-to-hg b/.bk-to-hg
index ee55de0843..039e4d0069 100755
--- a/.bk-to-hg
+++ b/.bk-to-hg
@@ -1,8 +1,2 @@
-#!/bin/sh -x
-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
+#!/bin/sh
 exit 0