aboutsummaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2016-04-03 18:55:57 -0400
committerGravatar Jason Gross <jgross@mit.edu>2016-04-03 18:55:57 -0400
commit8741aa3eb3845f008df52b255f353ce5dcd2a53e (patch)
tree93d39320918244d802b3c5c085a3b500deac79fe /etc
parentd819eeb7bd87746b62f6a6398f6ad69edb89a5ff (diff)
Fix freshen-bedrock-files.sh
Previously, it was not actually recording when it found things.
Diffstat (limited to 'etc')
-rwxr-xr-xetc/freshen-bedrock-files.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/freshen-bedrock-files.sh b/etc/freshen-bedrock-files.sh
index 08e0435d7..c2daf7e87 100755
--- a/etc/freshen-bedrock-files.sh
+++ b/etc/freshen-bedrock-files.sh
@@ -42,10 +42,10 @@ for VFILE in $FILES; do
break
fi
done
- )
if [ -z "$FOUND" ]; then
echo "WARNING: Could not find $VOFILE, which $VFILE depends on"
fi
+ )
done
done