From 72f278ae6bb52e17dbdeac0fce41a794e8dfd0d1 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Sat, 7 Dec 2019 15:26:05 -0800
Subject: 5797 - move `enumerate/` to `tools/` directory

---
 build | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'build')

diff --git a/build b/build
index 9e95bb34..114fb7cd 100755
--- a/build
+++ b/build
@@ -72,8 +72,8 @@ noisy_cd() {
   echo "-- `pwd`" >&2
 }
 
-older_than enumerate/enumerate enumerate/enumerate.cc && {
-  $CXX $CFLAGS enumerate/enumerate.cc -o enumerate/enumerate
+older_than tools/enumerate tools/enumerate.cc && {
+  $CXX $CFLAGS tools/enumerate.cc -o tools/enumerate
 }
 
 older_than tangle/tangle tangle/*.cc && {
@@ -92,8 +92,8 @@ 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 '.cc$')
-older_than subx.cc $LAYERS enumerate/enumerate tangle/tangle && {
+LAYERS=$(tools/enumerate --until $UNTIL_LAYER  |grep '.cc$')
+older_than subx.cc $LAYERS tools/enumerate tangle/tangle && {
   # no update here; rely on 'update' calls downstream
   tangle/tangle $LAYERS  > subx.cc
 }
-- 
cgit 1.4.1-2-gfad0