diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -133,6 +133,5 @@ EOF # construct the Makefile.config cat > Makefile.config <<EOF prefix = /usr/local -bash_completion_dir = /etc/bash_completion.d CFLAGS += ${have_valgrind} EOF |