tools: activate -v and sometime -W on some commands

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/Makefile b/Makefile
index bb5e193..510370d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -25,14 +25,14 @@ bin/nitc: c_src/nitc src/parser/parser.nit
        mkdir .nit_compile 2> /dev/null || true
        cp c_src/*.o c_src/*.cksum .nit_compile
        src/git-gen-version.sh
-       c_src/nitc ${NITCOPT} --clibdir c_src/clib -o bin/nitc -O src/nitc.nit
+       c_src/nitc ${NITCOPT} --clibdir c_src/clib -o bin/nitc -O -v src/nitc.nit
 
 bin/nitdoc: bin/nitc
        @echo '***************************************************************'
        @echo '* Compile nitdoc from NIT source files                        *'
        @echo '***************************************************************'
        src/git-gen-version.sh
-       bin/nitc ${NITCOPT} -o bin/nitdoc -O src/nitdoc.nit
+       bin/nitc ${NITCOPT} -o bin/nitdoc -O -v src/nitdoc.nit
 
 doc/stdlib/index.html: bin/nitdoc
        @echo '***************************************************************'

diff --git a/src/nc b/src/nc
index c6845f6..5e5cf85 100755 (executable)
--- a/src/nc
+++ b/src/nc
@@ -16,7 +16,7 @@
 # limitations under the License.
 
 NITC="../c_src/nitc"
-NITCOPTS= #"-I parser -I metamodel -I syntax -I compiling -I tmp"
+NITCOPTS="-v -W"
 CSRC=$( (cd ../c_src; pwd) )
 
 name=`basename $0`

diff --git a/src/ncall.sh b/src/ncall.sh
index 97446f6..8f93ee0 100755 (executable)
--- a/src/ncall.sh
+++ b/src/ncall.sh
@@ -1 +1 @@
-time make -C parser && time ./nc -W nitc && time ./nc2 -W -v "$@" nitc && time ./nc3 -W -v "$@" nitc && ./nc4 "$@" ../examples/hello_world.nit && ./hello_world_4
+time make -C parser && time ./nc nitc && time ./nc2 "$@" nitc && time ./nc3 "$@" nitc && ./nc4 "$@" ../examples/hello_world.nit && ./hello_world_4