From 7663fe28bb3e97a80ba0e4b9ec44492bda1fa19b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20K=C3=A4ll=C3=A9n?= Date: Wed, 15 Mar 2023 17:12:38 +0100 Subject: [PATCH] Use the new Reko binary in update_reko.sh script. --- scripts/update_reko.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/update_reko.sh b/scripts/update_reko.sh index 6a48479759..b34ea15415 100755 --- a/scripts/update_reko.sh +++ b/scripts/update_reko.sh @@ -11,7 +11,7 @@ ulimit -Ht unlimited ulimit -v 8000000 if test -z "$REKODIR" -a -z "$REKOSRCDIR"; then - echo "Neither \$REKODIR nor \$REKOSRCDIR is set. Either the executable \$REKODIR/decompile.exe or \$REKOSRCDIR/src/Drivers/CmdLine/bin/x64/UnixRelease/decompile.exe will be used by mono." + echo "Neither \$REKODIR nor \$REKOSRCDIR is set. Either the executable \$REKODIR/reko.dll or \$REKOSRCDIR/src/Drivers/CmdLine/bin/x64/UnixRelease/reko.dll will be used by this script." exit 1 fi @@ -19,8 +19,8 @@ if test -z "$REKODIR"; then REKODIR="$REKOSRCDIR/src/Drivers/CmdLine/bin/x64/UnixRelease" fi -if ! test -f "$REKODIR/decompile.dll"; then - echo "The file \$REKODIR/decompile.dll ($REKODIR/decompile.dll) does not exists." +if ! test -f "$REKODIR/reko.dll"; then + echo "The file \$REKODIR/reko.dll ($REKODIR/reko.dll) does not exist." exit 1 fi @@ -52,7 +52,7 @@ do fi echo "=== Using options:$OPTS" >out - (dotnet decompile.dll "$line" $OPTS >>out 2>&1 ; echo "$?" >error_code) || true + (dotnet reko.dll decompile "$line" $OPTS >>out 2>&1 ; echo "$?" >error_code) || true if test "$(cat error_code)" -eq 152 ; then echo "=== Killed because of CPU time limit" >>out fi