From c1c2d21ba7841e2ff0c6fca71e67286b9face3a4 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 16 Mar 2022 21:20:48 +0800
Subject: [PATCH] flake: fix error message when Vivado is not found

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 842c16a07..261f52853 100644
--- a/flake.nix
+++ b/flake.nix
@@ -245,7 +245,7 @@
       vivado = pkgs.buildFHSUserEnv {
         name = "vivado";
         targetPkgs = vivadoDeps;
-        profile = "source /opt/Xilinx/Vivado/2021.1/settings64.sh";
+        profile = "set -e; source /opt/Xilinx/Vivado/2021.1/settings64.sh";
         runScript = "vivado";
       };