Merge branch 'master' of git+ssh://niniel.sysnet.ucsd.edu/home/mvrable/local/bluesky

diff --git a/microbench/setup/cleanup-proxy b/microbench/setup/cleanup-proxy
index e88e7fe..c9a8c86 100755 (executable)
--- a/microbench/setup/cleanup-proxy
+++ b/microbench/setup/cleanup-proxy
@@ -17,7 +17,7 @@ done
 if [ "$BLUESKY_TARGET" = "native" ]; then
     /etc/init.d/nfs-kernel-server stop
     umount /export
-    mkfs.ext3 /dev/sda10
+    mkfs.ext3 -F /dev/sdb
     mount /export
 else
     rm -rf /export/journal