[ADM] build bin with --profile

16856882 · Alexandre Delanoë · 23dc7d37 · 16856882 · 16856882
Commit 16856882 authored Sep 23, 2020 by Alexandre Delanoë
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

build bin/build +1 -1

install bin/install +1 -1

No files found.
--- a/bin/build
+++ b/bin/build
 #!/bin/bash

-stack build --profile --test --haddock
+stack build --profile --test # --haddock
--- a/bin/install
+++ b/bin/install
 #!/bin/bash

-stack install --profile --test --haddock
+stack install --profile --test # --haddock