Turn on profiling in microbenchmarking.

diff --git a/microbench/setup/run-proxy b/microbench/setup/run-proxy
index 80ec5be..c3013c7 100755 (executable)
--- a/microbench/setup/run-proxy
+++ b/microbench/setup/run-proxy
@@ -6,6 +6,7 @@
 . /scratch/aws-keys
 export BLUESKY_CACHE_SIZE=$((512 * 1024))
 export BLUESKY_TARGET=s3
+export BLUESKY_PROFILE_OUT=/export2/profile.txt
 
 # Export any environment variables specified on the command line
 for e in "$@"; do