From 29ed03832973473f6e38d6d8af2db0329209bab4 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 26 Jun 2015 22:54:04 +0200
Subject: [PATCH] also build workspace crate

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 40a2a79..2e7758b 100644
--- a/Makefile
+++ b/Makefile
@@ -33,3 +33,4 @@ workspace/src/main.rs:
 crates:
 	@cargo build
 	@cd solutions && cargo build
+	@cd workspace && cargo build
-- 
2.30.2