From 5dbacadbe358a3ed05cbf58a7453eabece9fcfa7 Mon Sep 17 00:00:00 2001
From: Gabor X Toth <*@tg-x.net>
Date: Mon, 17 Oct 2016 17:45:45 +0000
Subject: [PATCH] gnunet-dev.nix

---
 gnunet-dev.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gnunet-dev.nix b/gnunet-dev.nix
index 7ffc0d94c..791adb578 100644
--- a/gnunet-dev.nix
+++ b/gnunet-dev.nix
@@ -16,7 +16,9 @@ stdenv.mkDerivation rec {
   ];
 
   patchPhase = ''
-    test -e Makefile && make distclean
+    if [ -e Makefile ]; then
+      make distclean
+    fi
   '';
 
   NIX_CFLAGS_COMPILE = "-ggdb -O0";
-- 
2.25.1