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 | d7320df1c06610e8d83c2e037e8544f7d2792d87 (patch) | |
tree | 3550bd77ac9689b89601b9af6399d1a6efb0938b | |
parent | 3a0dd126b7f760858051d24970f5c93f6aed965e (diff) | |
download | txr-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.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> |