djs55/message-switch — pull request #4 by djs55 (2013-09-10 20:55:44+00:00)
Title: Compile and run the configure script

Using toplevel directives ('#require "cmdliner"' doesn't seem to
work reliably)

Signed-off-by: David Scott