From 20ba29590a3657da5101533d8e7b0b969cd2451d Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Tue, 27 Aug 2013 15:32:03 -0700
Subject: [PATCH] Add 13.10 (won't work until final)

---
 util/vm/build.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/util/vm/build.py b/util/vm/build.py
index beeb9fc..f5be017 100755
--- a/util/vm/build.py
+++ b/util/vm/build.py
@@ -63,6 +63,12 @@ isoURLs = {
     'raring64server':
     'http://mirrors.kernel.org/ubuntu-releases/13.04/'
     'ubuntu-13.04-server-amd64.iso',
+    'saucy32server':
+    'http://mirrors.kernel.org/ubuntu-releases/13.10/'
+    'ubuntu-13.10-server-i386.iso',
+    'saucy64server':
+    'http://mirrors.kernel.org/ubuntu-releases/13.10/'
+    'ubuntu-13.10-server-amd64.iso',
 }
 
 logStartTime = time()