[GNUnet-SVN] r38166 - gnunet

[gnunet]

Author: tg
Date: 2016-10-17 19:45:45 +0200 (Mon, 17 Oct 2016)
New Revision: 38166

Modified:
   gnunet/gnunet-dev.nix
Log:
gnunet-dev.nix

Modified: gnunet/gnunet-dev.nix
===================================================================
--- gnunet/gnunet-dev.nix       2016-10-17 15:47:14 UTC (rev 38165)
+++ gnunet/gnunet-dev.nix       2016-10-17 17:45:45 UTC (rev 38166)
@@ -16,7 +16,9 @@
   ];
 
   patchPhase = ''
-    test -e Makefile && make distclean
+    if [ -e Makefile ]; then
+      make distclean
+    fi
   '';
 
   NIX_CFLAGS_COMPILE = "-ggdb -O0";