diff options
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"; |