From 84146ac34369619fd62abfa6605aaa8854225945 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Mon, 31 Oct 2016 15:30:33 -0600
Subject: [PATCH] Strip bins

---
 cook.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cook.sh b/cook.sh
index 88517cf5e..ad8283b62 100755
--- a/cook.sh
+++ b/cook.sh
@@ -46,6 +46,7 @@ function op {
             pushd build > /dev/null
             #TODO xargo install --root "../stage" $CARGOFLAGS
             cp -v $(find target/x86_64-unknown-redox/debug/ -maxdepth 1 -type f ! -name "*.*") ../stage/bin
+            strip -v stage/bin/*
             popd > /dev/null
             ;;
         unstage)