linux-kbuild: Change "#!/usr/bin/env perl" to "#!/usr/bin/perl"
This commit is contained in:
parent
b91655bf3e
commit
b5fe66a8db
|
@ -0,0 +1,12 @@
|
||||||
|
#!/usr/bin/perl -pi
|
||||||
|
|
||||||
|
# Change "#!/usr/bin/env perl" to "#!/usr/bin/perl" (policy §10.4).
|
||||||
|
# Other uses of /usr/bin/env should probably be converted as well, but
|
||||||
|
# policy doesn't specify what to do.
|
||||||
|
if ($. == 1 && m|^\#!\s*/usr/bin/env\s+(.+)|) {
|
||||||
|
if ($1 == "perl") {
|
||||||
|
$_ = "#!/usr/bin/perl\n";
|
||||||
|
} else {
|
||||||
|
print STDERR "W: Found #!/usr/bin/env $1 and don't know what to substitute\n";
|
||||||
|
}
|
||||||
|
}
|
|
@ -13,6 +13,8 @@ linux (4.18~rc7-1~exp1) UNRELEASED; urgency=medium
|
||||||
* certs: Remove certificates for test key used in Debian signing service and
|
* certs: Remove certificates for test key used in Debian signing service and
|
||||||
for my personal signing key
|
for my personal signing key
|
||||||
* certs: Add certificate for production key used in Debian signing service
|
* certs: Add certificate for production key used in Debian signing service
|
||||||
|
* Update policy version to 4.2.0:
|
||||||
|
- linux-kbuild: Change "#!/usr/bin/env perl" to "#!/usr/bin/perl"
|
||||||
|
|
||||||
-- Uwe Kleine-König <ukleinek@debian.org> Sat, 21 Jul 2018 16:52:01 +0200
|
-- Uwe Kleine-König <ukleinek@debian.org> Sat, 21 Jul 2018 16:52:01 +0200
|
||||||
|
|
||||||
|
|
|
@ -44,7 +44,9 @@ SCRIPTS_REAL = $(wildcard $(addprefix $(top_srcdir)/$(OUTDIR)/,$(SCRIPTS)))
|
||||||
install-local-scripts: $(SCRIPTS_REAL)
|
install-local-scripts: $(SCRIPTS_REAL)
|
||||||
@for p in $^; do \
|
@for p in $^; do \
|
||||||
echo " install -m755 '$$p' '$(DESTDIR)/$(installdir)'"; \
|
echo " install -m755 '$$p' '$(DESTDIR)/$(installdir)'"; \
|
||||||
install -D -m755 "$$p" "$(DESTDIR)/$(installdir)/$$(basename $$p)"; \
|
install -D -m755 \
|
||||||
|
-s --strip-program $(top_srcdir)/debian/bin/fix-shebang \
|
||||||
|
"$$p" "$(DESTDIR)/$(installdir)/$$(basename $$p)"; \
|
||||||
done
|
done
|
||||||
|
|
||||||
DATA_REAL = $(wildcard $(addprefix $(top_srcdir)/$(OUTDIR)/,$(DATA)))
|
DATA_REAL = $(wildcard $(addprefix $(top_srcdir)/$(OUTDIR)/,$(DATA)))
|
||||||
|
|
Loading…
Reference in New Issue