master: deprecate_xam.sh: remove use of echo_eval.

coin-or · Dec 7, 2023 · 161d10a · 161d10a
1 parent a06ac52
commit 161d10a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bin/deprecate_xam.sh b/bin/deprecate_xam.sh
@@ -39,7 +39,8 @@ then
    rm $new_file
    git checkout $old_file
 fi
-echo_eval git mv $old_file $new_file
+echo "git mv $old_file $new_file"
+git mv $old_file $new_file
 # -----------------------------------------------------------------------------
 # change old directory
 old_dir=`echo $old_file | sed -e 's|/[^/]*$||'`