remote_xilinx = /scratch/megacz/xilinx/
remote_dir = /scratch/megacz/fleet/
+#host = cs61c-tb@ilinux1.eecs.berkeley.edu
+#remote_xilinx = /usr/local/xilinx/xilinx.ise.9.1-1607-8571-0259-2277
+#remote_dir = /home/tmp/cs61c-tb/fleet
+
#host = mm2.millennium.berkeley.edu
#remote_xilinx = /scratch/megacz/xilinx/
#remote_dir = /scratch/megacz/fleet/