File tree Expand file tree Collapse file tree 1 file changed +13
-1
lines changed Expand file tree Collapse file tree 1 file changed +13
-1
lines changed Original file line number Diff line number Diff line change @@ -183,7 +183,19 @@ export HTML_SOURCE
183
183
rm -rf $HTML_TEMP && mkdir -p $HTML_TEMP
184
184
rm -rf $HTML_OUTPUT && mkdir -p $HTML_OUTPUT
185
185
186
- [ -d $HTML_CACHE ] || mkdir -p $HTML_CACHE
186
+ if [ -d $HTML_CACHE ]; then
187
+ PREV_BUILD_SHA=$( cat $HTML_CACHE /last-build-sha.txt 2> /dev/null || echo " " )
188
+ CURRENT_BUILD_SHA=$( git rev-parse HEAD )
189
+
190
+ if [ " $PREV_BUILD_SHA " != " $CURRENT_BUILD_SHA " ]; then
191
+ $QUIET || echo " Build tools have been updated since last run; clearing the cache"
192
+ rm -rf $HTML_CACHE
193
+ mkdir -p $HTML_CACHE
194
+ echo $CURRENT_BUILD_SHA > $HTML_CACHE /last-build-sha.txt
195
+ fi
196
+ else
197
+ mkdir -p $HTML_CACHE
198
+ fi
187
199
188
200
if [ ! -d $HTML_CACHE /cldr-data ]; then
189
201
$QUIET || echo " Checking out CLDR (79 MB)..."
You can’t perform that action at this time.
0 commit comments