From f215e02bf85f68d3a6106c2a1f4f7f063f819064 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Thu, 11 Apr 2024 10:17:27 +0200 Subject: Adding upstream version 7.0.14-dfsg. Signed-off-by: Daniel Baumann --- .../EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/AmlToC | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100755 src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/AmlToC (limited to 'src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/AmlToC') diff --git a/src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/AmlToC b/src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/AmlToC new file mode 100755 index 00000000..1dd28e96 --- /dev/null +++ b/src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/AmlToC @@ -0,0 +1,14 @@ +#!/usr/bin/env bash +#python `dirname $0`/RunToolFromSource.py `basename $0` $* + +# If a ${PYTHON_COMMAND} command is available, use it in preference to python +if command -v ${PYTHON_COMMAND} >/dev/null 2>&1; then + python_exe=${PYTHON_COMMAND} +fi + +full_cmd=${BASH_SOURCE:-$0} # see http://mywiki.wooledge.org/BashFAQ/028 for a discussion of why $0 is not a good choice here +dir=$(dirname "$full_cmd") +exe=$(basename "$full_cmd") + +export PYTHONPATH="$dir/../../Source/Python${PYTHONPATH:+:"$PYTHONPATH"}" +exec "${python_exe:-python}" "$dir/../../Source/Python/$exe/$exe.py" "$@" -- cgit v1.2.3