seL4/capdl-loader-app — pull request #2 by jtdaugherty (2014-08-11 22:15:20+00:00)
Title: Makefile: on getting too many CapDL specs, print debug info

I mistakenly had two applications enabled in my config and this was causing the capDL loader build process to fail. Now the error message provides a bit more guidance on what went wrong.