aboutsummaryrefslogtreecommitdiff
path: root/gnunet-dev.nix
diff options
context:
space:
mode:
authorGabor X Toth <*@tg-x.net>2016-10-17 17:45:45 +0000
committerGabor X Toth <*@tg-x.net>2016-10-17 17:45:45 +0000
commit5dbacadbe358a3ed05cbf58a7453eabece9fcfa7 (patch)
tree1e65aa0f873e3e8fb0d7df68b11f40f880743eda /gnunet-dev.nix
parent73515c3ba4c4e34e5d86d8342c8763a7c2782d7e (diff)
downloadgnunet-5dbacadbe358a3ed05cbf58a7453eabece9fcfa7.tar.gz
gnunet-5dbacadbe358a3ed05cbf58a7453eabece9fcfa7.zip
gnunet-dev.nix
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";