changed shell delimiters for csh

fixes #13459
This commit is contained in:
Brian Coca 2015-12-12 16:10:18 -05:00
parent 8e445c551a
commit 99e46440bd

View file

@ -24,6 +24,8 @@ class ShellModule(ShModule):
# How to end lines in a python script one-liner # How to end lines in a python script one-liner
_SHELL_EMBEDDED_PY_EOL = '\\\n' _SHELL_EMBEDDED_PY_EOL = '\\\n'
_SHELL_REDIRECT_ALLNULL = '>& /dev/null' _SHELL_REDIRECT_ALLNULL = '>& /dev/null'
_SHELL_SUB_LEFT = '"`'
_SHELL_SUB_RIGHT = '`"'
def env_prefix(self, **kwargs): def env_prefix(self, **kwargs):
return 'env %s' % super(ShellModule, self).env_prefix(**kwargs) return 'env %s' % super(ShellModule, self).env_prefix(**kwargs)