#!/bin/sh
-# $Id: srclist-update,v 1.19 2007-03-30 23:44:27 karl 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.
#
-# Copyright (C) 2002, 2003, 2005, 2007, 2008 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
# it under the terms of the GNU General Public License as published by
# 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