From b8237493256e0a263fc711f327e71f54520caef2 Mon Sep 17 00:00:00 2001
From: Tom Henderson <tomh@tomh.org>
Date: Fri, 19 Apr 2019 14:11:03 -0700
Subject: [PATCH] build: (fixes #14) Check file timestamps instead of hashes
 for changes

Credit to Waf maintainer ita1024 for this fix.

See also:  https://gitlab.com/ita1024/waf/issues/2231
---
 wscript | 1 +
 1 file changed, 1 insertion(+)

diff --git a/wscript b/wscript
index 3a20883d1..036eec044 100644
--- a/wscript
+++ b/wscript
@@ -138,6 +138,7 @@ def maybe_decode(input):
 
 def options(opt):
     # options provided by the modules
+    opt.load('md5_tstamp')
     opt.load('compiler_c')
     opt.load('compiler_cxx')
     opt.load('cflags')