-*- mode: compilation; default-directory: "~/build/GNU/T/exchange/" -*- Compilation started at Wed Dec 23 09:21:10 ./configure -C --with-gnunet=/usr/local ./configure: line 1882: 5: Bad file descriptor checking whether --with-gnunet=/usr/local is declared... ./configure: line 1884: ${+y}: bad substitution Compilation exited abnormally with code 1 at Wed Dec 23 09:21:10