diff options
-rw-r--r-- | Makefile | 2 | ||||
-rwxr-xr-x | debian/rules | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 156f6bd..0000000 --- a/Makefile +++ /dev/null @@ -1,2 +0,0 @@ -check: - test/test diff --git a/debian/rules b/debian/rules index b52fa27..02a1d8a 100755 --- a/debian/rules +++ b/debian/rules @@ -27,3 +27,6 @@ override_dh_strip: # GHC cannot produce debugging symbols so the -dbgsym package # ends up empty, so disable generating it dh_strip --no-automatic-dbgsym + +override_dh_auto_test: + test/test |