old-tree-filter

   1 cat >$tmp/tree-filter <<'FEND'
   2         set -e
   3         if test -f GPL-vs-LGPL.dont; then
   4                 cat <<'END' - GPL-vs-LGPL >GPL-vs-LGPL.new
   5 NB that NO VERSIONS of this file have been released, and I do not
   6 intend to adopt this version.  The licence exceptions in this file
   7 therefore DO NOT APPLY to any version of adns (unless the contrary is
   8 clearly stated at some point in the future by me).
   9
  10 I.e. this file is just a draft.  That includes all the versions you
  11 may find in version control systems (eg CVS or git), and particularly
  12 those in work-in-progress or abandoned branches, or old revisions.
  13
  14   - Ian Jackson, 29th April 2014.
  15
  16 END
  17                 mv -f GPL-vs-LGPL.new GPL-vs-LGPL
  18         fi
  19         set +e
  20 FEND
  21 chmod +x $tmp/tree-filter
  22
  23  --tree-filter $tmp/tree-filter