diff options
author | Gabor X Toth <*@tg-x.net> | 2016-10-17 17:45:45 +0000 |
---|---|---|
committer | Gabor X Toth <*@tg-x.net> | 2016-10-17 17:45:45 +0000 |
commit | 5dbacadbe358a3ed05cbf58a7453eabece9fcfa7 (patch) | |
tree | 1e65aa0f873e3e8fb0d7df68b11f40f880743eda /gnunet-dev.nix | |
parent | 73515c3ba4c4e34e5d86d8342c8763a7c2782d7e (diff) | |
download | gnunet-5dbacadbe358a3ed05cbf58a7453eabece9fcfa7.tar.gz gnunet-5dbacadbe358a3ed05cbf58a7453eabece9fcfa7.zip |
gnunet-dev.nix
Diffstat (limited to 'gnunet-dev.nix')
-rw-r--r-- | gnunet-dev.nix | 4 |
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"; |