Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
FEATURE REQUSET: debug target #4084
Original bug ID: 4084
Could a toplevel debug target be added to the makefile, or the configure script?
E.g. today I was trying to build a camlp4 with full debug info and I had to add -g to several Makefiles and $(OCAMLCFLAGS) to a bunch of targets. Not a big deal, but it took me longer than I expected to crawl through the build files and figure out the right spots to tweak.