From eed2f30ee1a512e632c304b67eb41ec4230e7dea Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sat, 6 May 2017 21:11:52 -0700
Subject: 3846

Be more robust to stray files with numeric prefixes.
---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build')

diff --git a/build b/build
index 970464b5..46e4b270 100755
--- a/build
+++ b/build
@@ -90,7 +90,7 @@ older_than tangle/tangle tangle/*.cc && {
   noisy_cd ..  # no effect; just to show us returning to the parent directory
 }
 
-LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER  |grep -v '.mu$')
+LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER  |grep '.cc$')
 older_than mu.cc $LAYERS enumerate/enumerate tangle/tangle && {
   # no update here; rely on 'update' calls downstream
   ./tangle/tangle $LAYERS  > mu.cc
-- 
cgit 1.4.1-2-gfad0