diff options
| -rw-r--r-- | writemain.SH | 1 | ||||
| -rwxr-xr-x | x2p/cflags.SH | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/writemain.SH b/writemain.SH index 4884a387a1..66d14a16ce 100644 --- a/writemain.SH +++ b/writemain.SH @@ -21,6 +21,7 @@ echo "Extracting writemain (with variable substitutions)" : Move anything that needs config subs from !NO!SUBS! section to !GROK!THIS!. : Protect any dollar signs and backticks that you do not want interpreted : by putting a backslash in front. You may delete these comments. +rm -f writemain $spitshell >writemain <<!GROK!THIS! $startsh !GROK!THIS! diff --git a/x2p/cflags.SH b/x2p/cflags.SH index 531ef65805..a781a7302e 100755 --- a/x2p/cflags.SH +++ b/x2p/cflags.SH @@ -21,6 +21,7 @@ echo "Extracting x2p/cflags (with variable substitutions)" : Move anything that needs config subs from !NO!SUBS! section to !GROK!THIS!. : Protect any dollar signs and backticks that you do not want interpreted : by putting a backslash in front. You may delete these comments. +rm -f cflags $spitshell >cflags <<!GROK!THIS! !GROK!THIS! |