From: Bruno Haible <bruno@clisp.org>
Date: Fri, 2 Dec 2005 13:37:34 +0000 (+0000)
Subject: Accept GPLed build tool modules when --lgpl is given.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3cfbdb16d1cd2d66132179bb1549e0b3ffdec814;p=pspp

Accept GPLed build tool modules when --lgpl is given.
---

diff --git a/ChangeLog b/ChangeLog
index e8294a001d..b8764bbfd7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,13 @@
+2005-12-02  Bruno Haible  <bruno@clisp.org>
+
+	* gnulib-tool (func_import): Accept GPLed build tool modules when
+	--lgpl is given.
+	* modules/csharpcomp-script: New file.
+	* modules/csharpcomp: Depend on it.
+	* modules/javacomp-script: New file.
+	* modules/javacomp: Depend on it.
+	Suggested by Simon Josefsson.
+
 2005-11-29  Paul Eggert  <eggert@cs.ucla.edu>
 
 	* modules/savedir (Depends-on): Add openat.
diff --git a/gnulib-tool b/gnulib-tool
index 4df7612d79..5f20206147 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2005-11-04 18:25:19 $'
+cvsdatestamp='$Date: 2005-12-02 13:37:34 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 
@@ -938,7 +938,7 @@ func_import ()
     for module in $modules; do
       license=`func_get_license $module`
       case $license in
-        LGPL | 'public domain' | 'unlimited') ;;
+        LGPL | 'GPLed build tool' | 'public domain' | 'unlimited') ;;
         *) func_fatal_error "incompatible license on module $module: $license" ;;
       esac
     done