diff --git a/example/run_pandora.sh b/example/run_pandora.sh index cf2858c2..b765c577 100755 --- a/example/run_pandora.sh +++ b/example/run_pandora.sh @@ -4,8 +4,8 @@ set -eu # configs pandora_URL="https://github.com/rmcolq/pandora/releases/download/0.9.0/pandora-linux-precompiled-v0.9.0" pandora_executable="./pandora-linux-precompiled-v0.9.0" -make_prg_URL="https://github.com/leoisl/make_prg/releases/download/v0.2.0_prototype/make_prg_0.2.0_prototype" -make_prg_executable="./make_prg_0.2.0_prototype" +make_prg_URL="https://github.com/leoisl/make_prg/releases/download/v0.2.0/make_prg_0.2.0" +make_prg_executable="./make_prg_0.2.0" function download_tool {