diff options
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -507,7 +507,6 @@ slurp() { | |||
507 | rm -f $dir/$gnulib_mk && | 507 | rm -f $dir/$gnulib_mk && |
508 | sed "$remove_intl" $1/$dir/$file >$dir/$gnulib_mk | 508 | sed "$remove_intl" $1/$dir/$file >$dir/$gnulib_mk |
509 | } | 509 | } |
510 | silentize $dir/$gnulib_mk | ||
511 | elif { test "${2+set}" = set && test -r $2/$dir/$file; } || | 510 | elif { test "${2+set}" = set && test -r $2/$dir/$file; } || |
512 | version_controlled_file $dir $file; then | 511 | version_controlled_file $dir $file; then |
513 | echo "$0: $dir/$file overrides $1/$dir/$file" | 512 | echo "$0: $dir/$file overrides $1/$dir/$file" |