diff options
Diffstat (limited to 'src/chroot-tools/Makefile')
| -rw-r--r-- | src/chroot-tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/chroot-tools/Makefile b/src/chroot-tools/Makefile index 055b40e..c39b4f5 100644 --- a/src/chroot-tools/Makefile +++ b/src/chroot-tools/Makefile @@ -10,7 +10,7 @@ libretools.out.libs = $(libretools.src.sh) makechrootpkg.sh files.out.int += chcleanup.lib $(srcdir)/makechrootpkg.sh.in: $(srcdir)/makechrootpkg.in - sed '/^\s*main "$$@"\s*$$/d' < $< > $@ + sed -e '1s^.*^#!/hint/bash -euE^' -e '/^\s*main "$$@"\s*$$/d' < $< > $@ $(outdir)/chcleanup: $(srcdir)/chcleanup.in $(outdir)/chcleanup.lib m4 -I$(@D) -P $< | $(libretools.edit) | install -m755 /dev/stdin $@ |