Commit 0a0d40dd authored by Ruud de Rooij's avatar Ruud de Rooij Committed by Niels Möller
Browse files

Inserted space required for latest bash. (Noted by Ruud)

Rev: make_am:1.6
parent a5b8e4e5
......@@ -116,7 +116,7 @@ while true; do
if [ $rethink = yes ]; then
( (echo $args = .dist_headers;
all_used_headers \
| comm -12 - <($BASH src/cvs_headers $dir) \
| comm -12 - <( $BASH src/cvs_headers $dir ) \
| tee $dir/.dist_headers) | tr '\n' ' ';
echo) 1>&4
else
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment