From b32ec3a68b1d3c4f61c22f7968a79aa37184669c Mon Sep 17 00:00:00 2001
From: guillaume didier <guillaume.didier@inria.fr>
Date: Mon, 9 Mar 2020 14:36:55 +0100
Subject: [PATCH] Ensure std for teh cache_utils binary

---
 cache_utils/Cargo.toml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/cache_utils/Cargo.toml b/cache_utils/Cargo.toml
index a20c633..028e438 100644
--- a/cache_utils/Cargo.toml
+++ b/cache_utils/Cargo.toml
@@ -19,3 +19,7 @@ std = ["nix"]
 no_std = ["polling_serial", "vga_buffer"]
 
 default = ["std"]
+
+[[bin]]
+name = "cache_utils"
+required-features = ["std"]