diff --git a/debian/rules b/debian/rules old mode 100755 new mode 100644 index 1544ed0..dafe10f --- 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