From 168568825ebe1534219bc51273d523d37b90ae92 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexandre=20Delano=C3=AB?= <devel+git@delanoe.org>
Date: Wed, 23 Sep 2020 07:28:14 +0200
Subject: [PATCH] [ADM] build bin with --profile

---
 bin/build   | 2 +-
 bin/install | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/build b/bin/build
index 6298d71e..1ff02fb5 100755
--- a/bin/build
+++ b/bin/build
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-stack build --profile --test --haddock
+stack build --profile --test # --haddock
diff --git a/bin/install b/bin/install
index aa43f934..f7aeed45 100755
--- a/bin/install
+++ b/bin/install
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-stack install --profile --test --haddock
+stack install --profile --test # --haddock
-- 
2.21.0