Re-allow = character in log file names.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4919 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/etc/scripts/prism-auto

@@ -177,7 +177,7 @@ def createLogFileName(args, dir=""):
 	if len(dir) > 0:
 		logFile = re.sub(dir, '', logFile)
 	logFile = re.sub('/', '_', logFile)
-	logFile = re.sub('[^a-zA-Z0-9_, \.]', '', logFile)
+	logFile = re.sub('[^a-zA-Z0-9=_, \.]', '', logFile)
 	logFile = re.sub('[ ]+', '.', logFile)
 	logFile = re.sub('[\.]+', '.', logFile)
 	logFile = re.sub('^[\._]+', '', logFile)