X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fsrclist-update;h=b528d1a40e81d10ce2bd0c74edf9db37991696f8;hb=939cec771c884182789eb24ab80858d5c0faca40;hp=9f65a40adab0c356f97fc4b72e3b41f367b1da6d;hpb=35b6e3c3bdaf7541e7a03d985c80c464e49d2182;p=pspp
diff --git a/config/srclist-update b/config/srclist-update
index 9f65a40ada..b528d1a40e 100755
--- a/config/srclist-update
+++ b/config/srclist-update
@@ -1,17 +1,13 @@
#!/bin/sh
-# $Id: srclist-update,v 1.13 2003-08-13 20:23:14 eggert Exp $
-#
# Check for files in directory $1 being up to date, according to the
# list on stdin. Don't actually make any changes, just show the diffs.
#
-# Source `dirname $0`/srclistvars.sh first, if it exists.
-
-# Copyright (C) 2002, 2003 Free Software Foundation, Inc.
+# Copyright (C) 2002-2003, 2005, 2007-2011 Free Software Foundation, Inc.
#
-# This program is free software; you can redistribute it and/or modify
+# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2, or (at your option)
-# any later version.
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -19,11 +15,9 @@
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-# 02111-1307, USA.
+# along with this program. If not, see .
-# Written by Karl Berry.
+# Originally written by Karl Berry.
if test -n "$1"; then
@@ -36,6 +30,7 @@ verbose=false
: ${TMPDIR=/tmp}
dsttmp=$TMPDIR/srclist.dst
+# Source `dirname $0`/srclistvars.sh first, if it exists.
mydir=`dirname $0`
test -r $mydir/srclistvars.sh && . $mydir/srclistvars.sh
@@ -43,39 +38,37 @@ test -r $mydir/srclistvars.sh && . $mydir/srclistvars.sh
#
# sed command to fix the license to be GPL.
fixlicense='
- /^\([[:space:]]*#[[:space:]]*\)Th[ei][ s].* is free software/,/^[[:space:]]*#.*USA\./c\
-# This program is free software; you can redistribute it and/or modify\
-# it under the terms of the GNU General Public License as published by\
-# the Free Software Foundation; either version 2, or (at your option)\
-# any later version.\
+ /^[[:space:]]*#[[:space:]]*Th[ei][ s].* is free software/,/^[[:space:]]*#.*USA\./c\
+# This program is free software: you can redistribute it and/or modify\
+# it under the terms of the GNU General Public License as published by\
+# the Free Software Foundation; either version 3 of the License, or\
+# (at your option) any later version.\
#\
-# This program is distributed in the hope that it will be useful,\
-# but WITHOUT ANY WARRANTY; without even the implied warranty of\
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\
-# GNU General Public License for more details.\
+# This program is distributed in the hope that it will be useful,\
+# but WITHOUT ANY WARRANTY; without even the implied warranty of\
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\
+# GNU General Public License for more details.\
#\
-# You should have received a copy of the GNU General Public License along\
-# with this program; if not, write to the Free Software Foundation,\
-# Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+# You should have received a copy of the GNU General Public License\
+# along with this program. If not, see .
- /Th[ei][ s].* is free software/,/USA\. *\*\//c\
- This program is free software; you can redistribute it and/or modify\
+ /Th[ei][ s].* is free software/,/\*\//c\
+ This program is free software: you can redistribute it and/or modify\
it under the terms of the GNU General Public License as published by\
- the Free Software Foundation; either version 2, or (at your option)\
- any later version.\
+ the Free Software Foundation; either version 3 of the License, or\
+ (at your option) any later version.\
\
This program is distributed in the hope that it will be useful,\
but WITHOUT ANY WARRANTY; without even the implied warranty of\
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\
GNU General Public License for more details.\
\
- You should have received a copy of the GNU General Public License along\
- with this program; if not, write to the Free Software Foundation,\
- Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
+ You should have received a copy of the GNU General Public License\
+ along with this program. If not, see . */
'
# sed command to remove lines containing $Id lines.
-# Quote the $Id so that CVS does not expand it in this script.
+# Quote the $ so that CVS does not expand it in this script.
remove_id_lines='/[$]Id:.*[$]/d'
# $1 is input file, $2 is output.
@@ -123,6 +116,9 @@ cat | while read src dst options; do
fixfile $src $srctmp
test -r $dst && fixfile $dst $dsttmp
+ # if src was executable, make dst executable, to placate git.
+ test -x $src && chmod a+x $dst
+
if test ! -e $dst; then
echo "## $srctmp $dst # new"
$chicken cp -p $srctmp $dst