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 --- .../BaseTools/BinPipWrappers/PosixLike/GenPatchPcdTable | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100755 src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/GenPatchPcdTable (limited to 'src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/GenPatchPcdTable') diff --git a/src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/GenPatchPcdTable b/src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/GenPatchPcdTable new file mode 100755 index 00000000..9d143c7f --- /dev/null +++ b/src/VBox/Devices/EFI/Firmware/BaseTools/BinPipWrappers/PosixLike/GenPatchPcdTable @@ -0,0 +1,12 @@ +#!/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 +cmd=${full_cmd##*/} + +exec "${python_exe:-python}" -m edk2basetools.$cmd.$cmd "$@" -- cgit v1.2.3