diff options
| -rwxr-xr-x | configure | 2 | ||||
| -rwxr-xr-x | tools/gen-configure.el | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -598,4 +598,4 @@ fi echo echo "#endif" exec 1>&3 3>&- -echo " ... done."
\ No newline at end of file +echo " ... done." diff --git a/tools/gen-configure.el b/tools/gen-configure.el index 577d86f..eba63fb 100755 --- a/tools/gen-configure.el +++ b/tools/gen-configure.el @@ -23,9 +23,9 @@ multisubstitute if { - heredoc 0 ${TEMPLATE} redirfd -w 1 configure.new - s6-cat + if { heredoc 0 ${TEMPLATE} s6-cat } + s6-echo } if { s6-chmod 0755 configure.new } |