From 4471bead62984905ac1728275e28c1f5a04d2978 Mon Sep 17 00:00:00 2001 From: Andrei Paskevich Date: Thu, 15 Jul 2010 16:41:36 +0000 Subject: [PATCH] minor --- .gitignore | 1 + configure.in | 4 ++-- src/config.sh.in | 1 + 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 4a1d15723..25b6ee45e 100644 --- a/.gitignore +++ b/.gitignore @@ -84,6 +84,7 @@ /share/emacs/semantic.cache # /src/ +/src/config.sh /src/config.ml /src/*.annot /src/*.cm[aiox] diff --git a/configure.in b/configure.in index 045ee5fba..2d0df5df6 100644 --- a/configure.in +++ b/configure.in @@ -62,7 +62,7 @@ AC_ARG_ENABLE(verbose-make, # rust prover AC_ARG_ENABLE(rust-prover, - [ --enable-rust-prover enable Why3 rust prover],, + [ --enable-rust-prover enable Why3 rust prover],, enable_rust_prover=yes) # IDE @@ -92,7 +92,7 @@ AC_ARG_ENABLE(hypothesis-selection, # profiling ENABLE_PROFILING=yes AC_ARG_ENABLE(profiling, - [ --enable-profiling enable profiling],, + [ --enable-profiling enable profiling],, ENABLE_PROFILING=no) # Check for arch/OS diff --git a/src/config.sh.in b/src/config.sh.in index 2fffb39cb..0188dcb2a 100644 --- a/src/config.sh.in +++ b/src/config.sh.in @@ -1,3 +1,4 @@ +#!/bin/sh F=src/config.ml -- GitLab