tests/filtertmp.py
branchstable
changeset 12795 3cb0559e44d0
parent 12793 469850088fc1
parent 12794 6bf8d48bec8e
child 12796 bc69ba99e34b
--- a/tests/filtertmp.py	Wed Oct 20 23:39:48 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-#!/usr/bin/env python
-#
-# This used to be a simple sed call like:
-#
-#  $ sed "s:$HGTMP:*HGTMP*:"
-#
-# But $HGTMP has ':' under Windows which breaks the sed call.
-#
-import sys, os
-
-input = sys.stdin.read()
-input = input.replace(os.sep, '/')
-hgtmp = os.environ['HGTMP'].replace(os.sep, '/')
-input = input.replace(hgtmp, '$HGTMP')
-sys.stdout.write(input)