diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2016-11-26 00:37:43 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2016-11-26 00:38:01 +0100 |
commit | 215b70f51e5abd350c9b7db656aedac9d96d0046 (patch) | |
tree | 95778448ecdfbc1d8f4c254813cc5d91ed62a832 /mk/tests.mk | |
parent | f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7 (diff) |
Revert "Get rid of unicode quotes (#1140)"
This reverts commit f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7. There
really is no need for such a massive change...
Diffstat (limited to 'mk/tests.mk')
-rw-r--r-- | mk/tests.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/tests.mk b/mk/tests.mk index e0d9ff146..004a48028 100644 --- a/mk/tests.mk +++ b/mk/tests.mk @@ -1,4 +1,4 @@ -# Run program $1 as part of 'make installcheck'. +# Run program $1 as part of ‘make installcheck’. define run-install-test installcheck: $1 |