diff options
Diffstat (limited to 'debian/rules')
| -rw-r--r--[-rwxr-xr-x] | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 1544ed00..dafe10f6 100755..100644 --- a/debian/rules +++ b/debian/rules @@ -1,4 +1,4 @@ -#!/bin/false +#!/usr/bin/make -f # Avoid using cabal, as it writes to $HOME export CABAL=./Setup |