aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
-rwxr-xr-xtests/cli-opts.sh0
2 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index d96ebb9..75614eb 100644
--- a/Makefile
+++ b/Makefile
@@ -54,10 +54,11 @@ run-tests: $(headers) $(sources) tests/tests.c
fallible-tests: $(headers) $(sources) tests/tests.c
$(CC) $(CFLAGS) $(LDFLAGS) -DTEST -DFALLIBLE -o $@ tests/tests.c $(sources) $(LDLIBS) -lfallible
-check: run-tests
+check: all
./run-tests
+ sh tests/cli-opts.sh
-dev-check: all check fallible-tests
+dev-check: check fallible-tests
valgrind `fallible-check --valgrind-flags` ./run-tests
fallible-check ./fallible-tests
sh aux/assert-clang-format.sh
diff --git a/tests/cli-opts.sh b/tests/cli-opts.sh
new file mode 100755
index 0000000..e69de29
--- /dev/null
+++ b/tests/cli-opts.sh