From 274d8195f622f10d9dee5273bf0f4b05f5866bd1 Mon Sep 17 00:00:00 2001
From: Ben Wolsieffer <benwolsieffer@gmail.com>
Date: Sun, 30 May 2021 13:10:42 -0400
Subject: [PATCH] Fix minor mistake in cyclonedds override

---
 distros/distro-overlay.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/distros/distro-overlay.nix b/distros/distro-overlay.nix
index cf81c33c67..11216790b2 100644
--- a/distros/distro-overlay.nix
+++ b/distros/distro-overlay.nix
@@ -68,7 +68,7 @@ let
       cmakeFlags ? [], preConfigure ? "", ...
     }: {
       # Tries to download something with maven
-      cmakeFlags = [ "-DBUILD_IDLC=OFF" ];
+      cmakeFlags = cmakeFlags ++ [ "-DBUILD_IDLC=OFF" ];
 
       # Fix running ddsconf from within the build directory (probably an RPATH
       # issue)