From 8741aa3eb3845f008df52b255f353ce5dcd2a53e Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 3 Apr 2016 18:55:57 -0400
Subject: Fix freshen-bedrock-files.sh

Previously, it was not actually recording when it found things.
---
 etc/freshen-bedrock-files.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc')

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
 
-- 
cgit v1.2.3