aboutsummaryrefslogtreecommitdiff
path: root/gnunet-dev.nix
diff options
context:
space:
mode:
Diffstat (limited to 'gnunet-dev.nix')
-rw-r--r--gnunet-dev.nix4
1 files changed, 3 insertions, 1 deletions
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 {
16 ]; 16 ];
17 17
18 patchPhase = '' 18 patchPhase = ''
19 test -e Makefile && make distclean 19 if [ -e Makefile ]; then
20 make distclean
21 fi
20 ''; 22 '';
21 23
22 NIX_CFLAGS_COMPILE = "-ggdb -O0"; 24 NIX_CFLAGS_COMPILE = "-ggdb -O0";