From 6870ba039d033c961c3d94324af7a82cdb0ce7b6 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 4 Nov 2009 09:04:13 +0000
Subject: [PATCH] awk systime() is not standard; hope to have better luck with
 date +%s

---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 6b60a49a3..8fee78f0d 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -305,7 +305,7 @@ parms.h:	Makefile
 		@echo "#define YAP_CFLAGS	    \"$(CFLAGS)\"" >> $@%
 		@echo "#define YAP_LDFLAGS    \"$(LDFLAGS)\""    >> $@%
 		@echo "#define YAP_SHLIB_SUFFIX    \"$(SHLIB_SUFFIX)\""    >> $@%
-		@echo | $(AWK) '{ printf("#define YAP_TIMESTAMP %d\n", systime()); }' >> $@%
+		@echo "#define YAP_TIMESTAMP \"`date +%s`\"" >> $@%
 		@if cmp -s $@% $@; then rm $@%; else mv $@% $@; fi