diff gnulib-tool @ 6464:d4112cb80f32

Accept GPLed build tool modules when --lgpl is given.
author Bruno Haible <bruno@clisp.org>
date Fri, 02 Dec 2005 13:37:34 +0000
parents 1a35941d29ab
children f8abe8d41137
line wrap: on
line diff
--- a/gnulib-tool	Fri Dec 02 13:36:59 2005 +0000
+++ b/gnulib-tool	Fri Dec 02 13:37:34 2005 +0000
@@ -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 @@
     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