From: Paul Eggert <eggert@cs.ucla.edu>
Date: Fri, 16 Nov 2007 04:58:12 +0000 (-0800)
Subject: The license of gnu-make and posix-shell is now "GPLed build tool".
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fb87bcf5306ddb0f7d8eb1f31837e8dada25b5d2;p=pspp

The license of gnu-make and posix-shell is now "GPLed build tool".

* modules/gnu-make (License): Likewise.
* modules/posix-shell (License): Likewise.
---

diff --git a/ChangeLog b/ChangeLog
index 6d9f663f45..ecea8e207c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,9 +1,14 @@
 2007-11-15  Paul Eggert  <eggert@cs.ucla.edu>
 
+	The license of gnu-make and posix-shell is now "GPLed build tool".
+	* modules/gnu-make (License): Likewise.
+	* modules/posix-shell (License): Likewise.
+
 	New module posix-shell, for determining a POSIX shell
 	or perhaps something that is close enough to a POSIX shell.
 	* m4/posix-shell.m4: New file.
 	* modules/posix-shell: New file.
+
 	* MODULES.html.sh: Mention new module.
 
 	New module gnu-make, for determining whether we're using GNU Make.
diff --git a/modules/gnu-make b/modules/gnu-make
index bfbbb1f645..6d1c63a24b 100644
--- a/modules/gnu-make
+++ b/modules/gnu-make
@@ -22,7 +22,7 @@ Makefile.am:
 Include:
 
 License:
-GPL
+GPLed build tool
 
 Maintainer:
 Paul Eggert
diff --git a/modules/posix-shell b/modules/posix-shell
index aafd5b7b9e..8f7b864e88 100644
--- a/modules/posix-shell
+++ b/modules/posix-shell
@@ -24,7 +24,7 @@ Makefile.am:
 Include:
 
 License:
-GPL
+GPLed build tool
 
 Maintainer:
 Paul Eggert