diff options
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/document_template.pl | 1 | ||||
| -rwxr-xr-x | devtools/highlight_template.pl | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/devtools/document_template.pl b/devtools/document_template.pl index f88dfb51..277a5b37 100755 --- a/devtools/document_template.pl +++ b/devtools/document_template.pl @@ -1,3 +1,4 @@ +#! /usr/bin/perl eval '(exit $?0)' && eval 'exec perl -w -S $0 ${1+"$@"}' & eval 'exec perl -w -S $0 $argv:q' if 0; diff --git a/devtools/highlight_template.pl b/devtools/highlight_template.pl index 54769ed6..e8d77920 100755 --- a/devtools/highlight_template.pl +++ b/devtools/highlight_template.pl @@ -1,3 +1,4 @@ +#! /usr/bin/perl eval '(exit $?0)' && eval 'exec perl -w -S $0 ${1+"$@"}' & eval 'exec perl -w -S $0 $argv:q' if 0; |