diff --git a/debian/rules b/debian/rules old mode 100644 new mode 100755 index dafe10f..1544ed0 --- a/debian/rules +++ b/debian/rules @@ -1,4 +1,4 @@ -#!/usr/bin/make -f +#!/bin/false # Avoid using cabal, as it writes to $HOME export CABAL=./Setup