From 449f44b355370ba5348a971dd08aa5a2edbd8715 Mon Sep 17 00:00:00 2001
From: Alex Shinn <ashinn@users.noreply.github.com>
Date: Thu, 8 May 2014 07:09:42 -0400
Subject: [PATCH] sync after making clean in build tests

---
 tests/build/build-tests.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/build/build-tests.sh b/tests/build/build-tests.sh
index 05fe1cc1..6f01102f 100755
--- a/tests/build/build-tests.sh
+++ b/tests/build/build-tests.sh
@@ -29,6 +29,7 @@ for opts in $(cat ${BUILDDIR}/build-opts.txt); do
     # Try to build then run tests.
     opts=$(echo ${opts} | tr ';' ' ')
     $MAKE cleaner 2>&1 >/dev/null
+    sync
     if $MAKE -j 8 "$vars" $opts chibi-scheme 2>&1 >${BUILDDIR}/build${i}-make.out; then
         sync
         if $MAKE test-r5rs 2>&1 | tee ${BUILDDIR}/build${i}-test.out \