From f8badcdc0ce3b6d7dba5932f85f4bc529bcab128 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Thu, 29 Oct 2015 16:43:50 -0700
Subject: 2319

---
 build_and_test_until | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'build_and_test_until')

diff --git a/build_and_test_until b/build_and_test_until
index 1c454ad1..d213dcc4 100755
--- a/build_and_test_until
+++ b/build_and_test_until
@@ -4,8 +4,9 @@
 
 set -e
 set -v
-make tangle/tangle
-make enumerate/enumerate
+make --no-print-directory tangle/tangle
+make --no-print-directory enumerate/enumerate
 ./tangle/tangle $(./enumerate/enumerate --until $1 |grep -v '.mu$') |grep -v "^\s*//:" > mu.cc
 cat /dev/null $(./enumerate/enumerate --until $1 |grep '.mu$') > core.mu
+make --no-print-directory autogenerated_lists
 CXX=${CXX:-clang++} CFLAGS=${CFLAGS:-"-O3 -fsanitize=undefined"} make ${2:-valgrind}
-- 
cgit 1.4.1-2-gfad0