diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -40,7 +40,7 @@ all install uninstall tools config configure reconfig proto depend lint tags typ @echo "If there are problems, cd to the src directory and run make there" cd src && $(MAKE) $@ @# When the target is "test" also run the indent and syntax tests. - @if test "$@" = "test"; then \ + @if test "$@" = "test" -o "$@" = "testtiny"; then \ $(MAKE) indenttest; \ $(MAKE) syntaxtest; \ fi |