diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2018-04-16 06:45:11 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2018-04-16 06:45:11 -0700 |
commit | c80fe85807b4f5b66815a195c629bc22be4ee69c (patch) | |
tree | 3550bd77ac9689b89601b9af6399d1a6efb0938b /parser.y | |
parent | d8d52dfd3e7f2eb73667eaad81a8030fa6e7df76 (diff) | |
download | txr-c80fe85807b4f5b66815a195c629bc22be4ee69c.tar.gz txr-c80fe85807b4f5b66815a195c629bc22be4ee69c.tar.bz2 txr-c80fe85807b4f5b66815a195c629bc22be4ee69c.zip |
parser: propagate copyright to generated parser.
* parser.y: Move the copyright comment header into the
%{ ... %} section so that it is copied to the generated
parser, rathe than stripped away by the generator. The
problem is that Bison adds a GPL header to the file wrongly
implying that the whole thing is under the GPL (with a special
exception). Without our copyright header there, it looks
as if the whole file is from Bison.
Diffstat (limited to 'parser.y')
-rw-r--r-- | parser.y | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,3 +1,5 @@ +%{ + /* Copyright 2009-2018 * Kaz Kylheku <kaz@kylheku.com> * Vancouver, Canada @@ -25,8 +27,6 @@ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ -%{ - #include <stddef.h> #include <stdio.h> #include <assert.h> |