X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=Makefile.in;h=506b2af049a2b90443fd79cb915c0c66e24b80f2;hp=9dd68c24ccd2ca046a5a1469ac4edc5dc27edc17;hb=e67fbcaf61d3d0f3ce62332f9615e5ed8e5a1c81;hpb=b52eab0d4a343b1c5f455bd81032570dea166ec2 diff --git a/Makefile.in b/Makefile.in index 9dd68c24..506b2af0 100644 --- a/Makefile.in +++ b/Makefile.in @@ -12,7 +12,7 @@ build_date := $(shell date) uname_s := $(shell uname -s 2>/dev/null || echo "UNKNOWN_OS") uname_rs := $(shell uname -rs) cc_version := $(shell $(CC) --version | head -n 1) -codename := probabilistic parity +codename := axiomatic perspectivity DEBUG_CPPFLAGS += -Wno-sign-compare -g -Wunused -Wundef -W DEBUG_CPPFLAGS += -Wredundant-decls