X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fsrclist-update;h=cf36d5dde6f6952dfae713a7966eaf281038c8b6;hb=9b1a374d33160fc9f6701559930ddbdd5167b17d;hp=1e8de5ad6218814925dfee485c240cde1ee57d41;hpb=57fdfd3f8ec62b105c53bcdf6f127c35c7fe7391;p=pspp

diff --git a/config/srclist-update b/config/srclist-update
index 1e8de5ad62..cf36d5dde6 100755
--- a/config/srclist-update
+++ b/config/srclist-update
@@ -4,7 +4,7 @@
 # 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.
 #
-# Copyright (C) 2002, 2003, 2005, 2007 Free Software Foundation, Inc.
+# Copyright (C) 2002, 2003, 2005, 2007, 2008 Free Software Foundation, Inc.
 #
 # 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
@@ -118,6 +118,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