From 9571a88fec7f47070165b556b4114bc2f91e3e85 Mon Sep 17 00:00:00 2001 From: Guillaume Damiand Date: Thu, 27 May 2021 09:46:11 +0200 Subject: [PATCH] Add backslashs --- Scripts/developer_scripts/create_cgal_test | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Scripts/developer_scripts/create_cgal_test b/Scripts/developer_scripts/create_cgal_test index 80b51888b65..54dfa8fcc42 100755 --- a/Scripts/developer_scripts/create_cgal_test +++ b/Scripts/developer_scripts/create_cgal_test @@ -129,7 +129,7 @@ compile_and_run() rm -f \$OUTPUTFILE COMMAND="./\$1" if [ -f \$1.cmd ] ; then - COMMAND="\$COMMAND `eval echo \$(cat \$1.cmd)`" + COMMAND="\$COMMAND \`eval echo \$(cat \$1.cmd)\`" fi if [ -f \$1.cin ] ; then COMMAND="cat \$1.cin | \$COMMAND"