From 7247335e5bcd38e9d54c6b1f56c6c4d744e13424 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 15 Oct 2004 14:46:23 +0000
Subject: [PATCH] - Much nicer naming for the files.

---
 spdl/gen-tests.py | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/spdl/gen-tests.py b/spdl/gen-tests.py
index 69dfbb9..fa32153 100755
--- a/spdl/gen-tests.py
+++ b/spdl/gen-tests.py
@@ -28,15 +28,14 @@ print "#"
 def getline (inputfile):
 	return string.strip(inputfile.readline())
 
+def removespdl (str):
+	return string.replace(str,".spdl","")
+
 def makefilepart (tuple):
 	rt = count + "-"
 	namelist = string.split (tuple)
-	tocome = len (namelist)
 	for name in namelist:
-		rt = rt + name
-		tocome = tocome - 1
-		if tocome > 0:
-			rt = rt + "-"
+		rt = rt + "[" + removespdl(name) + "]"
 	return rt
 
 def makefileline (tuple):
@@ -68,3 +67,5 @@ while line:
 inp.close()
 print "#"
 print "# ", lines, " lines processed."
+
+# TODO Add code to clean up the mess: delete all files of zero length.