gnunet-dev.nix

diff --git a/gnunet-dev.nix b/gnunet-dev.nix
index 7ffc0d94ced3782966c736bbf580b06b4d9e293a..791adb57829501407da5ab98009fce15e377fd1f 100644 (file)
--- 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";