Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
maintainers need warnings
authoralegrand <alegrand@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Fri, 5 Nov 2004 19:37:30 +0000 (19:37 +0000)
committeralegrand <alegrand@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Fri, 5 Nov 2004 19:37:30 +0000 (19:37 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@485 48e7efb5-ca39-0410-a469-dd3cf9ba447f

bootstrap

index 425698d..0ac5cd8 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -24,7 +24,7 @@ if test -z "$*"; then
     echo \`$0\'" command line, or rerun aci_configurator and save the new ones."
     echo
   else
-    configure_args="--enable-maintainer-mode --enable-gtk-doc"
+    configure_args="--enable-maintainer-mode --enable-gtk-doc --enable-compile-warnings"
     echo "**Warning**: I am going to run \`configure' with the default arguments."
     echo "ie, $configure_args."
     echo "If you wish to pass any to it, please specify them on the"