summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2018-04-16 06:45:11 -0700
committerKaz Kylheku <kaz@kylheku.com>2018-04-16 06:45:11 -0700
commitd7320df1c06610e8d83c2e037e8544f7d2792d87 (patch)
tree3550bd77ac9689b89601b9af6399d1a6efb0938b
parent3a0dd126b7f760858051d24970f5c93f6aed965e (diff)
downloadtxr-d7320df1c06610e8d83c2e037e8544f7d2792d87.tar.gz
txr-d7320df1c06610e8d83c2e037e8544f7d2792d87.tar.bz2
txr-d7320df1c06610e8d83c2e037e8544f7d2792d87.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.
-rw-r--r--parser.y4
1 files changed, 2 insertions, 2 deletions
diff --git a/parser.y b/parser.y
index 139ba052..abc12d1c 100644
--- a/parser.y
+++ b/parser.y
@@ -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>