diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -16,13 +16,6 @@ deheader.html: deheader.xml clean: rm -f *~ *.1 *.html test/*.o test/*~ MANIFEST -check: regress - -regress: - cd test; make --quiet regress -makeregress: - cd test; make --quiet makeregress - PYLINTOPTS = --rcfile=/dev/null --reports=n \ --msg-template="{path}:{line}: [{msg_id}({symbol}), {obj}] {msg}" \ --dummy-variables-rgx='^_' |