From b08e355730ea5ba4127dec6b360ce5366be01f81 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 6 Mar 2019 14:37:44 +0000
Subject: [PATCH] set hash seed for repro output

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 0e1cc20..9104aea 100644
--- a/Makefile
+++ b/Makefile
@@ -15,6 +15,9 @@ USE_PLAG_RELEASE := $(shell ./find-plag \
 
 # works with plag-mangle 16446a44d3f1f467765879492fa85a01222f8052
 
+export PERL_HASH_SEED=1
+export PERL_PERTURB_KEYS=0
+
 default: all
 
 all: maxprintable.ps minprintable.ps boundings.ps \
-- 
2.30.2