diff options
Diffstat (limited to 'writemain.SH')
| -rw-r--r-- | writemain.SH | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/writemain.SH b/writemain.SH index 6c53602472..18544c1f81 100644 --- a/writemain.SH +++ b/writemain.SH @@ -24,7 +24,6 @@ echo "Extracting writemain (with variable substitutions)" rm -f writemain $spitshell >writemain <<!GROK!THIS! $startsh -src=$src !GROK!THIS! : In the following dollars and backticks do not need the extra backslash. @@ -56,7 +55,7 @@ for file in $orig ; do done -sed '/Do not delete this line--writemain depends on it/q' $src/miniperlmain.c +sed '/Do not delete this line--writemain depends on it/q' miniperlmain.c if test X"$args" != "X" ; then |