From edf4e3f0b148193d4f99de2f5415dad8c273a3da Mon Sep 17 00:00:00 2001 From: ygrek Date: Mon, 10 Jun 2024 23:51:32 -0400 Subject: [PATCH] to revert - easier dev --- config/Makefile.config.in | 2 +- config/Makefile.in | 2 +- config/configure.in | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/config/Makefile.config.in b/config/Makefile.config.in index 56677e6b..60f186e3 100644 --- a/config/Makefile.config.in +++ b/config/Makefile.config.in @@ -9,7 +9,7 @@ CXX=@CXX@ FIX_BROKEN_CPP=@FIX_BROKEN_CPP@ CONFIG_INCLUDES=@CONFIG_INCLUDES@ -MINUS_WARNING=-3-4-6-27-29-32-35-37-41-44-45-48-60 +MINUS_WARNING=-3-4-6-27-29-32-35-37-41-44-45-48-60-70 DEVFLAGS=@DEVFLAGS@ OCAMLC=@OCAMLC@ -w +a$(MINUS_WARNING) $(DEVFLAGS) OCAMLLIB=@OCAMLLIB@ diff --git a/config/Makefile.in b/config/Makefile.in index 37d5fd29..e1f323fa 100644 --- a/config/Makefile.in +++ b/config/Makefile.in @@ -1448,7 +1448,7 @@ clean: rm -f svg_converter.exe mld_hash.exe make_torrent.exe bt_dht_node.exe copysources.exe get_range.exe subconv.exe testrss.exe rm -f tests tests.exe (for i in $(SUBDIRS); do \ - rm -f $$i/*.cm? $$i/*.o $$i/*.annot ; \ + rm -f $$i/*.cm? $$i/*.cmti $$i/*.o $$i/*.annot ; \ done) tmpclean: diff --git a/config/configure.in b/config/configure.in index 4b8a3b2e..5eca4084 100644 --- a/config/configure.in +++ b/config/configure.in @@ -725,7 +725,7 @@ if test "$DEBUG" = "yes"; then fi if test "$DEV" = "yes"; then - DEVFLAGS="-annot -bin-annot -w @a\$(MINUS_WARNING)" + DEVFLAGS="-annot -bin-annot" fi NUMS_INCLUDE=