clean:
$(MAKE) -C $(KERNELDIR) M=$(PWD)/src clean
+# The following target is used for development and debugging. It's not part of
+# the build system.
%.i: %.c
- $(MAKE) -C $(KERNELDIR) M=$(PWD)/src CONFIG_LTTNG=m CONFIG_LTTNG_CLOCK_PLUGIN_TEST=m $@
+ $(MAKE) -C $(KERNELDIR) M=$(PWD) CONFIG_LTTNG=m CONFIG_LTTNG_CLOCK_PLUGIN_TEST=m $@
endif # KERNELRELEASE