74276a06-edf0-4216-94be-76a483a09de1

[coding-replay] / makefile

diff --git a/makefile b/makefile
index 57e3af10fcf2c633b34e10d10bb0c67790cfadd5..19d0bad3e44755a8c9a339fb5fe0b86c9beb2a77 100644 (file)
--- a/makefile
+++ b/makefile
@@ -6,7 +6,7 @@
 .PHONY: test
 
 test:
-       bash -n coding-replay.bash
+       shellcheck coding-replay.bash
 
 # coding-replay is free software: you can redistribute it and/or modify it
 # under the terms of the GNU Affero General Public License as published