diff --git a/benchmark/clone-exercism.sh b/benchmark/clone-exercism.sh index e69de29bb..bedb4eab0 100755 --- a/benchmark/clone-exercism.sh +++ b/benchmark/clone-exercism.sh @@ -0,0 +1,20 @@ +#!/bin/bash + +# Create directories if they don't exist +mkdir -p tmp.benchmark/exercism + +# Change to the exercism directory +cd tmp.benchmark/exercism + +# List of languages to clone +languages=("cpp" "go" "java" "javascript" "python" "rust") + +# Clone each repository +for lang in "${languages[@]}"; do + if [ ! -d "$lang" ]; then + echo "Cloning $lang repository..." + git clone "https://github.com/exercism/$lang" + else + echo "$lang repository already exists" + fi +done