Index: tools/gformat.py
===================================================================
--- tools/gformat.py	(revision 9284)
+++ tools/gformat.py	(revision 9285)
@@ -734,5 +734,5 @@
           f.close()
     elif sys.argv[1] == "dns":
-      make_dns(sys.argv[2] if sys.argv[2] else 'dns')
+      make_dns(sys.argv[2] if len(sys.argv) > 2 else 'dns')
     elif sys.argv[1] == "cleanup":
       # First generate all datadumps