diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-04-10 21:55:59 +0200 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-04-12 12:11:06 +0200 |
commit | 4b267003afd9750123030d63da8e16d0ec948b4e (patch) | |
tree | e15d3bdde5ee3e6089438e1bc56124b93dc066e3 /Makefile | |
parent | Add with-locale1. (diff) | |
download | calp-4b267003afd9750123030d63da8e16d0ec948b4e.tar.gz calp-4b267003afd9750123030d63da8e16d0ec948b4e.tar.xz |
UNFINISHED webdav server.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,5 +1,6 @@ .PHONY: all clean test \ check \ + litmus \ static \ go_files \ lcov.info @@ -90,3 +91,6 @@ coverage: lcov.info check: tests/run-tests.scm $(if $(VERBOSE),--verbose) $(SKIP) $(LIMIT_FILES) + +litmus: + tests/litmus.scm $(path) |