diff options
author | Martin Quinson <mquinson@debian.org> | 2003-01-21 09:59:35 +0000 |
---|---|---|
committer | Martin Quinson <mquinson@debian.org> | 2003-01-21 09:59:35 +0000 |
commit | fc6281de97e0b6f4b727936d2779695caee2d78f (patch) | |
tree | 1d297ab0cf61674f0e9f57d4c5e65023410bee4d /lib | |
parent | 1bc09eea65bdac501048a2a1eff970ac751fdd81 (diff) | |
download | quilt-fc6281de97e0b6f4b727936d2779695caee2d78f.tar.gz |
- Catch up to akmp version 0.10 (only files in need-checking were modified)
- Use bash ; use a proper first line (ie "#! /bin/bash", the space is needed
on some rare platforms)
- Add a header stating that the code is GPL in all scripts
Diffstat (limited to 'lib')
-rwxr-xr-x | lib/apatch.in | 8 | ||||
-rwxr-xr-x | lib/rpatch.in | 8 | ||||
-rwxr-xr-x | lib/touched-by-patch | 8 |
3 files changed, 21 insertions, 3 deletions
diff --git a/lib/apatch.in b/lib/apatch.in index a14d219..0e0c366 100755 --- a/lib/apatch.in +++ b/lib/apatch.in @@ -1,4 +1,10 @@ -#!/bin/sh +#! /bin/bash + +# This script is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License version 2 as +# published by the Free Software Foundation. +# +# See the COPYING and AUTHORS files for more details. if ! [ -r @LIB@/patchfns ] then diff --git a/lib/rpatch.in b/lib/rpatch.in index d25695b..3c05c0a 100755 --- a/lib/rpatch.in +++ b/lib/rpatch.in @@ -1,4 +1,10 @@ -#!/bin/sh +#! /bin/bash + +# This script is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License version 2 as +# published by the Free Software Foundation. +# +# See the COPYING and AUTHORS files for more details. if ! [ -r @LIB@/patchfns ] then diff --git a/lib/touched-by-patch b/lib/touched-by-patch index f26469e..bdfc296 100755 --- a/lib/touched-by-patch +++ b/lib/touched-by-patch @@ -1,6 +1,12 @@ -#!/bin/sh +#! /bin/bash # Extract names of new files from a patch, print them out +# This script is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License version 2 as +# published by the Free Software Foundation. +# +# See the COPYING and AUTHORS files for more details. + usage() { echo "Usage: touched-by-patch [-p num] patchname" |