From b9eb3f73939abf533281f9979734efd0d8e3e16d Mon Sep 17 00:00:00 2001
From: Sami Vaarala <sami.vaarala@iki.fi>
Date: Mon, 19 Dec 2016 10:47:10 +0200
Subject: [PATCH] Add propcache files to dist/configure

---
 tools/configure.py | 1 +
 util/dist.py       | 1 +
 2 files changed, 2 insertions(+)

diff --git a/tools/configure.py b/tools/configure.py
index 467a22110e..8dd2d1e619 100644
--- a/tools/configure.py
+++ b/tools/configure.py
@@ -457,6 +457,7 @@ def default_from_script_path(optname, orig, alternatives):
         'duk_heap_markandsweep.c',
         'duk_heap_memory.c',
         'duk_heap_misc.c',
+        'duk_heap_propcache.c',
         'duk_heap_refcount.c',
         'duk_heap_stringcache.c',
         'duk_heap_stringtable.c',
diff --git a/util/dist.py b/util/dist.py
index 9ad40ea3d7..834c7c0c3a 100644
--- a/util/dist.py
+++ b/util/dist.py
@@ -369,6 +369,7 @@ def main():
         'duk_heap_markandsweep.c',
         'duk_heap_memory.c',
         'duk_heap_misc.c',
+        'duk_heap_propcache.c',
         'duk_heap_refcount.c',
         'duk_heap_stringcache.c',
         'duk_heap_stringtable.c',