#!/usr/bin/env python
#
# WvTest:
-# Copyright (C) 2012 Michal Sojka <sojka@os.inf.tu-dresden.de>
+# Copyright (C) 2012, 2014 Michal Sojka <sojka@os.inf.tu-dresden.de>
# Licensed under the GNU Library General Public License, version 2.
# See the included file named LICENSE for license information.
#
# Local Variables:
-# compile-command: "cat $(ls nul-nightly/nul_*.log|tail -n 1)|./wvtest2html.py html"
+# compile-command: "make report"
# End: