From 1913793996ef02c79adcd59f1159368ea7d2e684 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 28 May 2019 16:04:24 +0100
Subject: [PATCH] Remove useless old Makefile

---
 Makefile | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 Makefile

diff --git a/Makefile b/Makefile
deleted file mode 100644
index 31da96a..0000000
--- a/Makefile
+++ /dev/null
@@ -1,20 +0,0 @@
-MAKEABLE_PACKAGES=\
-	syntax \
-	driver-timer \
-	driver-browser-ui \
-	driver-http-node \
-	driver-websocket \
-	driver-udp-node \
-	syntax-playground
-
-all:
-	for p in $(MAKEABLE_PACKAGES); do $(MAKE) -C packages/$$p; done
-
-clean:
-	for p in $(MAKEABLE_PACKAGES); do $(MAKE) -C packages/$$p clean; done
-
-bootstrap:
-	[ -d node_modules/lerna ] || npm i .
-	npx lerna bootstrap
-
-.PHONY: bootstrap