COCCI_ARGS=-include_headers -no_includes -dir /code/linux-2.6

all: allocbugs23

detect_allocs3: detect_allocs3.cocci
	../initialize detect_allocs3.cocci $(COCCI_ARGS) -allow_inconsistent_paths

# ----------------------------------------------------------------------

allocbugs23: detect_allocs3
	../instantiate detect_allocs3 new_detect_allocs_fp3 undo no_undo2.cocci
	../make_org_bug_report no_undo2 allocbugs23 $(COCCI_ARGS) -ifdef_to_if