[PATCH 04/31] binman: Avoid using a symlink

[Simon Glass]

Use a small Python script instead of a symlink to avoid problems with
Windows.

Signed-off-by: Simon Glass <sjg at chromium.org>
---

 tools/binman/binman | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)
 mode change 120000 => 100755 tools/binman/binman

diff --git a/tools/binman/binman b/tools/binman/binman
deleted file mode 120000
index 11a5d8e18ab7..000000000000
--- a/tools/binman/binman
+++ /dev/null
@@ -1 +0,0 @@
-main.py
\ No newline at end of file
diff --git a/tools/binman/binman b/tools/binman/binman
new file mode 100755
index 000000000000..2b0633073abc
--- /dev/null
+++ b/tools/binman/binman
@@ -0,0 +1,10 @@
+#!/usr/bin/env python3
+# SPDX-License-Identifier: GPL-2.0+
+
+import os
+
+our_path = os.path.dirname(os.path.realpath(__file__))
+
+import main
+
+main.start_binman()
-- 
2.40.0.634.g4ca3ef3211-goog