From 58f92ed0551f630a6c1d685cd0ce1f9a6a80d3af Mon Sep 17 00:00:00 2001 From: gentle_hu Date: Mon, 7 Dec 2020 15:58:12 +0800 Subject: [PATCH] add \ --- contrib/pldebugger/Makefile | 2 +- third_party/dependency/pldebugger/patch.sh | 10 +++++++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/contrib/pldebugger/Makefile b/contrib/pldebugger/Makefile index 6ed1761d6..4975b6562 100644 --- a/contrib/pldebugger/Makefile +++ b/contrib/pldebugger/Makefile @@ -46,7 +46,7 @@ define create_pldebugger_sources cd $(PLDEBUGGER_DIR); \ sh patch.sh; \ if [ $$? -eq 1 ]; then \ - exit 1; + exit 1; \ fi; \ cd - ; endef diff --git a/third_party/dependency/pldebugger/patch.sh b/third_party/dependency/pldebugger/patch.sh index c5a7fb3e8..e6358dbcf 100644 --- a/third_party/dependency/pldebugger/patch.sh +++ b/third_party/dependency/pldebugger/patch.sh @@ -1,12 +1,20 @@ rm -rf pldebugger_3_0 -tar xfzv pldebugger_3_0.tar.gz &> /dev/null + +file_name="pldebugger_3_0.tar.gz" +if [ ! -f "$file_name" ]; then + echo "ERROR: $file_name does not exist." + exit 1; +fi +tar xfzv $file_name &> /dev/null rename ".c" ".cpp" pldebugger_3_0/*.c + file_name="pldebugger_3_0_patch.patch" if [ ! -f "$file_name" ]; then echo "ERROR: $file_name does not exist." exit 1; fi patch -p0 -d pldebugger_3_0 < $file_name + file_name="pldebugger_3_0_patch2.patch" if [ ! -f "$file_name" ]; then echo "ERROR: $file_name does not exist."