From 9815c678900478871188302217c5dbbc0a13e297 Mon Sep 17 00:00:00 2001
From: Brice Dobry <brice.dobry@futurewei.com>
Date: Mon, 16 Aug 2021 17:31:16 -0400
Subject: [PATCH] Fix an error in the debug messages from maplec

---
 build/tools/spec/maplec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/tools/spec/maplec b/build/tools/spec/maplec
index bfe53678f1..6f8a20c0da 100755
--- a/build/tools/spec/maplec
+++ b/build/tools/spec/maplec
@@ -135,7 +135,7 @@ function clangTompl() {
   echo clang2mpl --ascii "$src_file_path" -- $CLANG2MPL_FLAGS $option
   clang2mpl --ascii "$src_file_path" -- $CLANG2MPL_FLAGS $option  || {
    echo "FAILED: "
-   echo -e "LD_LIBRARY_PATH=${MAPLE_ROOT}/../ouroboros/driver/script/lib /usr/bin/clang2mpl --ascii" $src_file_path "--" $CLANG_FLAGS $option  | tee -a clang2mpl_err.log;
+   echo -e "clang2mpl --ascii" $src_file_path "--" $CLANG2MPL_FLAGS $option  | tee -a clang2mpl_err.log;
    exit 1;
   }
 }
-- 
Gitee