# HG changeset patch
# User jbe
# Date 1426862871 -3600
# Node ID 4858cffe1aa14ff4a82913de58d912e8f2c13ba4
# Parent  599b8463b985df76bc19d2ac35e1c5e76f940f56
Clean json library in root Makefile

diff -r 599b8463b985 -r 4858cffe1aa1 Makefile
--- a/Makefile	Fri Mar 20 15:47:36 2015 +0100
+++ b/Makefile	Fri Mar 20 15:47:51 2015 +0100
@@ -51,4 +51,5 @@
 	cd libraries/extos; make clean
 	cd libraries/mondelefant; make clean
 	cd libraries/multirand; make clean
+	cd libraries/json; make clean
 	cd framework/accelerator; make clean