diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-24 15:02:29 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-24 15:02:29 -0400 |
| commit | 51fa88feb1fd3621360c1db5b6b771a798a25a88 (patch) | |
| tree | bff3f4d8ff052c1b95c7241bed4f4b8c7ef9368d /debian/rules | |
| parent | 416ae178ec7ed54d5740006a8dc6e1d2e30f00f4 (diff) | |
| parent | 57431d90b5fb1c16973676bc6b0d32b12c26669b (diff) | |
Merge branch 'master' into typed-os-requirements
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index c88cc004..a71212db 100755 --- 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 |