CSH doesn't need to have $ doubled when it is wrapped in single

quotes.

diff --git a/v7/src/microcode/s/ultrix.m4 b/v7/src/microcode/s/ultrix.m4
index 47d22b6978c7f54c4bdf34552ebe0c20e7eb078a..82600ddd6613cda04c92d493b0e6167244aca5c8 100755 (executable)
--- a/v7/src/microcode/s/ultrix.m4
+++ b/v7/src/microcode/s/ultrix.m4
@@ -1,4 +1,4 @@
 #!/bin/csh -f
-# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/s/Attic/ultrix.m4,v 1.1 1989/07/27 08:18:04 cph Exp $
+# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/s/Attic/ultrix.m4,v 1.2 1989/08/02 00:53:42 cph Exp $
 # Postprocessing to make m4 work correctly under Ultrix.
-m4 $* | sed -e 's/@/$$/g' -e 's/^\f$$//'
+m4 $* | sed -e 's/@/$/g' -e 's/^\f$//'