diff options
author | Jason Gross <jgross@mit.edu> | 2016-04-03 18:55:57 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-04-03 18:55:57 -0400 |
commit | 8741aa3eb3845f008df52b255f353ce5dcd2a53e (patch) | |
tree | 93d39320918244d802b3c5c085a3b500deac79fe /etc | |
parent | d819eeb7bd87746b62f6a6398f6ad69edb89a5ff (diff) |
Fix freshen-bedrock-files.sh
Previously, it was not actually recording when it found things.
Diffstat (limited to 'etc')
-rwxr-xr-x | etc/freshen-bedrock-files.sh | 2 |
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 |