Server rename for benchmarks
[bluesky.git] / microbench / setup /
drwxr-xr-x   ..
-rwxr-xr-x 339 build-fs
-rwxr-xr-x 445 cleanup-proxy
-rwxr-xr-x 950 prepare-benchmark
-rwxr-xr-x 1267 run-benchmark
-rwxr-xr-x 781 run-proxy
-rwxr-xr-x 354 run-specsfs
-rwxr-xr-x 1126 s3-cleanup.py
-rwxr-xr-x 373 stop-proxy