[Reproducible-builds] [misc] 02/03: diffp: Look into GHC interface files

[Jérémy Bobbio]

This is an automated email from the git hooks/post-receive script.

lunar pushed a commit to branch master
in repository misc.

commit 21697ded0d327136472dbe8e86ba8824d39c49b5
Author: Jérémy Bobbio <lunar at debian.org>
Date:   Fri Feb 14 13:33:32 2014 +0100

    diffp: Look into GHC interface files
---
 diffp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/diffp b/diffp
index 056957b..6903888 100755
--- a/diffp
+++ b/diffp
@@ -3,7 +3,7 @@
 # Copyright © 2013 Lunar <lunar at debian.org>
 # Licensed under WTFPL — http://www.wtfpl.net/txt/copying/
 #
-# Depends: bash, binutils, unzip, python-hachoir-metadata
+# Depends: bash, binutils, unzip, python-hachoir-metadata, ghc
 
 CHANGES_A="$1"
 CHANGES_B="$2"
@@ -40,6 +40,9 @@ get_ops() {
 		echo "file FILE"
 		echo "zcat FILE"
 		;;
+	    *.hi|*.p_hi)
+		echo "ghc --show-iface FILE"
+		;;
 	esac
 }
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/misc.git