diff --git a/Makefile.local b/Makefile.local new file mode 100644 index 0000000..249d0ef --- /dev/null +++ b/Makefile.local @@ -0,0 +1,2 @@ +FLAG=-v +NOSEFLAGS=-v -s