diff options
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | jmdict.cpp | 4 |
2 files changed, 1 insertions, 5 deletions
@@ -1,6 +1,6 @@ PREFIX ?= /usr -OPTS=-Wall -Wextra -ansi -pedantic-errors -Wconversion $(CXXFLAGS) +OPTS=-Wall -Wextra -ansi -pedantic-errors -Wconversion -Wfloat-equal -Wredundant-decls -Wstrict-null-sentinel -Winit-self -Woverloaded-virtual -Wnon-virtual-dtor -Wctor-dtor-privacy -Wsign-promo $(CXXFLAGS) DICTIONARY_PATH=$(PREFIX)/share/jmdict DICTIONARY_NAME="\"$(DICTIONARY_PATH)/database\"" BINDIR=${DESTDIR}${PREFIX}/bin @@ -51,10 +51,6 @@ namespace options { bool beginning = false; bool ci_search = false; - class invalid_option : public std::runtime_error { - invalid_option(const string& s) : std::runtime_error(s) {} - }; - void getFrom(int argc, char** argv) { int opt; while ((opt = getopt(argc, argv, "bfijJl:")) != -1) |