diff options
author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-11-15 13:50:16 +0100 |
---|---|---|
committer | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-11-15 13:59:26 +0100 |
commit | 4fc4cac512f990e1bfe0afc8a33f95a7d67d6762 (patch) | |
tree | 89f4de5f9d358986613286866ef7387678f3e61a /src/irmd/irm_flow.h | |
parent | 3d8c53bb3708867c77456138c5190b4797d9186b (diff) | |
download | ouroboros-4fc4cac512f990e1bfe0afc8a33f95a7d67d6762.tar.gz ouroboros-4fc4cac512f990e1bfe0afc8a33f95a7d67d6762.zip |
build: Fix setting default build type
This adds a check and sets the FORCE parameter to override the cmake
default build type.
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Diffstat (limited to 'src/irmd/irm_flow.h')
0 files changed, 0 insertions, 0 deletions