From 79e5f3b68d76c7904fd1f22dea0d43ac0c673a66 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 9 Aug 2016 15:22:55 +0000 Subject: [PATCH] prism-auto: don't expand to filename for exports if 'stdout' PRISM recognizes the filename 'stdout' as special and exports to standard output, so prepending a directory by prism-auto does not make sense. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11592 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 7258c9bf..a1680326 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -199,6 +199,10 @@ def possibleNameClash(fullName): def expandName(dir, option): splitOption = option.split(':') + # if the filename is 'stdout' (recognized as special by PRISM), + # we don't expand and simply return the input + if splitOption[0] == "stdout": + return option fullName = os.path.join(dir, splitOption[0]) return fullName + (":" + splitOption[1] if len(splitOption) > 1 else '') @@ -207,6 +211,10 @@ def expandName(dir, option): def prependToFile(prefix, option): splitOption = option.split(':') + # if the filename is 'stdout' (recognized as special by PRISM), + # we don't expand and simply return the input + if splitOption[0] == "stdout": + return option fullName = os.path.join(os.path.dirname(splitOption[0]), 'tmp.' + os.path.basename(splitOption[0])) return fullName + (":" + splitOption[1] if len(splitOption) > 1 else '')